Add --no-standard-checks to goto-analyzer-simplify runner scripts

Author: NlightNFotis

regression/goto-analyzer-simplify/CMakeLists.txt

@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "${CMAKE_CURRENT_SOURCE_DIR}/chain.sh $<TARGET_FILE:goto-analyzer>"
+    "${CMAKE_CURRENT_SOURCE_DIR}/chain.sh $<TARGET_FILE:goto-analyzer> --no-standard-checks"
 )

regression/goto-analyzer-simplify/Makefile

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