Suppress backtraces in cram tests

goblint · Mar 1, 2024 · bb1a2ae · bb1a2ae
1 parent b21c884
commit bb1a2ae
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/tests/regression/55-loop-unrolling/11-unrolled-loop-invariant.t b/tests/regression/55-loop-unrolling/11-unrolled-loop-invariant.t
@@ -1,3 +1,6 @@
+Suppress backtrace with code locations, especially for CI.
+  $ export OCAMLRUNPARAM=b=0
+
   $ goblint --set lib.activated '[]' --set exp.unrolling-factor 5 --enable ana.int.interval --enable witness.yaml.enabled --set witness.yaml.entry-types '["location_invariant", "loop_invariant"]' 11-unrolled-loop-invariant.c
   [Error] YAML witnesses are incompatible with syntactic loop unrolling (https://github.com/goblint/analyzer/pull/1370).
   Fatal error: exception Failure("Option error")

diff --git a/tests/regression/70-transform/01-ordering.t b/tests/regression/70-transform/01-ordering.t
@@ -1,3 +1,6 @@
+Suppress backtrace with code locations, especially for CI.
+  $ export OCAMLRUNPARAM=b=0
+
 Check that assert transform is not allowed to happen after dead code removal
   $ ./transform.sh --stderr remove_dead_code assert -- 01-empty.c
   [Error] trans.activated: the 'assert' transform may not occur after the 'remove_dead_code' transform