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

esteffin · esteffin · commit 1edf4e316153 · 2023-12-14T18:11:03.000Z
This reverts commit 014a33c.
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:

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`add_test_pl_tests(`
`2`		`- "perl ../timeout.pl 30 $<TARGET_FILE:cbmc> --no-standard-checks --incremental --magic-numbers"`
	`2`	`+ "perl ../timeout.pl 30 $<TARGET_FILE:cbmc> --incremental --magic-numbers"`
`3`	`3`	`)`