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

This reverts commit cf4269d.

Author: esteffin

regression/cbmc-cover/CMakeLists.txt

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

regression/cbmc-cover/Makefile

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