From bb1a2aedc6f93c0b321d0601a3c6e04d123e60e6 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Fri, 1 Mar 2024 16:37:17 +0200 Subject: [PATCH] Suppress backtraces in cram tests --- .../regression/55-loop-unrolling/11-unrolled-loop-invariant.t | 3 +++ tests/regression/70-transform/01-ordering.t | 3 +++ 2 files changed, 6 insertions(+) diff --git a/tests/regression/55-loop-unrolling/11-unrolled-loop-invariant.t b/tests/regression/55-loop-unrolling/11-unrolled-loop-invariant.t index c46c468642..b154f8f57a 100644 --- 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 index cd7ec8e36a..9ff5a9b739 100644 --- 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