Add --no-standard-checks to regression/goto-instrument test runner

diffblue · Dec 6, 2023 · 54bfd4f · 54bfd4f
1 parent 2d7a5ee
commit 54bfd4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/goto-instrument/chain.sh b/regression/goto-instrument/chain.sh
@@ -40,4 +40,4 @@ elif echo $args | grep -q -- "--dump-c" ; then
   rm "${target}-mod.c"
 fi
 $goto_instrument --show-goto-functions "${target}-mod.gb"
-$cbmc "${target}-mod.gb"
+$cbmc --no-standard-checks "${target}-mod.gb"