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

NlightNFotis · NlightNFotis · commit 1d791d29a713 · 2023-12-13T15:54:48.000Z
diff --git a/regression/cbmc-with-incr/CMakeLists.txt b/regression/cbmc-with-incr/CMakeLists.txt
@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "$<TARGET_FILE:cbmc> --incremental"
+    "$<TARGET_FILE:cbmc> --no-standard-checks --incremental"
 )
diff --git a/regression/cbmc-with-incr/Makefile b/regression/cbmc-with-incr/Makefile
@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c "../../../src/cbmc/cbmc --incremental"
+	@../test.pl -c "../../../src/cbmc/cbmc --no-standard-checks --incremental"
 
 tests.log: ../test.pl
-	@../test.pl -c "../../../src/cbmc/cbmc --incremental"
+	@../test.pl -c "../../../src/cbmc/cbmc --no-standard-checks --incremental"
 
 clean:
 	@$(RM) *.log

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`add_test_pl_tests(`
`2`		`- "$<TARGET_FILE:cbmc> --incremental"`
	`2`	`+ "$<TARGET_FILE:cbmc> --no-standard-checks --incremental"`
`3`	`3`	`)`