Revert "Add --no-standard-checks to regression/cbmc-incr runner scripts"

This reverts commit 014a33c.
diffblue · Dec 21, 2023 · d8f5136 · d8f5136
1 parent 241f12c
commit d8f5136
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/regression/cbmc-incr/CMakeLists.txt b/regression/cbmc-incr/CMakeLists.txt
@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "perl ../timeout.pl 30 $<TARGET_FILE:cbmc> --no-standard-checks --incremental --magic-numbers"
+    "perl ../timeout.pl 30 $<TARGET_FILE:cbmc> --incremental --magic-numbers"
 )
diff --git a/regression/cbmc-incr/Makefile b/regression/cbmc-incr/Makefile
@@ -1,6 +1,6 @@
 default: tests.log
 
-PARAM = --incremental --magic-numbers --no-standard-checks
+PARAM = --incremental --magic-numbers
 # --refine   --slice-formula
 
 test: