Add --no-standard-checks to regression/cbmc-shadow-memory runner scripts

Author: NlightNFotis

regression/cbmc-shadow-memory/CMakeLists.txt

@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "$<TARGET_FILE:cbmc>"
+    "$<TARGET_FILE:cbmc> --no-standard-checks"
 )

regression/cbmc-shadow-memory/Makefile

@@ -1,13 +1,13 @@
 default: tests.log
 
 test:
-	@../test.pl -p -c ../../../src/cbmc/cbmc -X smt-backend
+	@../test.pl -p -c "../../../src/cbmc/cbmc --no-standard-checks" -X smt-backend
 
 test-cprover-smt2:
-	@../test.pl -p -c "../../../src/cbmc/cbmc --cprover-smt2"
+	@../test.pl -p -c "../../../src/cbmc/cbmc --no-standard-checks --cprover-smt2"
 
 tests.log: ../test.pl
-	@../test.pl -p -c ../../../src/cbmc/cbmc -X smt-backend
+	@../test.pl -p -c "../../../src/cbmc/cbmc --no-standard-checks" -X smt-backend
 
 show:
 	@for dir in *; do \