Add --no-standard-checks to regression/goto-analyzer test runner scripts

Author: NlightNFotis

regression/goto-analyzer/CMakeLists.txt

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

regression/goto-analyzer/Makefile

@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
+	@../test.pl -e -p -c "../../../src/goto-analyzer/goto-analyzer --no-standard-checks"
 
 tests.log: ../test.pl
-	@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
+	@../test.pl -e -p -c "../../../src/goto-analyzer/goto-analyzer --no-standard-checks"
 
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;