Fixed goto-instrument regressions

Author: esteffin

regression/goto-instrument/harness1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---model-argc-argv 3 --dump-c --harness
+--model-argc-argv 3 --dump-c --harness _ --no-standard-checks
 ^EXIT=0$
 ^SIGNAL=0$
 Adding up to 3 command line arguments

regression/goto-instrument/insert-final-assert-false1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---insert-final-assert-false main
+--insert-final-assert-false main _ --no-standard-checks
 ^EXIT=0$
 ^SIGNAL=0$
 insert-final-assert-false \(should fail\) : SUCCESS

regression/goto-instrument/labels1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--malloc-may-fail _ --no-standard-checks
 Labels: label_zero$
 Labels: label_one$
 Labels: label_two$

regression/goto-instrument/lexical-loops1/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---show-lexical-loops
+--show-lexical-loops _ --no-standard-checks
 2 is head of \{ 2, 3, 4, 5 \(backedge\) \}
 ^EXIT=0$
 ^SIGNAL=0$

regression/goto-instrument/lexical-loops5/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---show-lexical-loops
+--show-lexical-loops _ --no-standard-checks
 2 is head of \{ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 \(backedge\) \}
 5 is head of \{ 5, 6, 7, 8 \(backedge\) \}
 ^EXIT=0$

regression/goto-instrument/region-analysis-1/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---show-sese-regions
+--show-sese-regions _ --no-standard-checks
 ^Region starting at \(1, [0-9]+\) IF .*2.* THEN GOTO 1 ends at \(5, [0-9]+\) 2: SKIP$
 ^Region starting at \(0, [0-9]+\) IF .*5.* THEN GOTO 3 ends at \(8, [0-9]+\) 4: SKIP$
 ^Function contains 2 single-entry, single-exit regions:$

regression/goto-instrument/region-analysis-2/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---show-sese-regions
+--show-sese-regions _ --no-standard-checks
 ^Function contains 2 single-entry, single-exit regions:$
 ^Region starting at \(4, [0-9]+\) IF .*2.* THEN GOTO 1 ends at \(8, [0-9]+\) 2: SKIP$
 ^Region starting at \(0, [0-9]+\) IF .*7.* THEN GOTO 3 ends at \(11, [0-9]+\) 4: SKIP$

regression/goto-instrument/region-analysis-3/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---show-sese-regions
+--show-sese-regions _ --no-standard-checks
 ^Function contains 2 single-entry, single-exit regions:$
 ^Region starting at \(1, [0-9]+\) IF .*2.* THEN GOTO 1 ends at \(5, [0-9]+\) 2: SKIP$
 ^Region starting at \(0, [0-9]+\) IF .*5.* THEN GOTO 3 ends at \(12, [0-9]+\) 5: END_FUNCTION$

regression/goto-instrument/region-analysis-9/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---show-sese-regions
+--show-sese-regions _ --no-standard-checks
 ^Function contains 2 single-entry, single-exit regions:$
 ^Region starting at \(2, [0-9]+\) .*::x := 0 ends at \(21, [0-9]+\) 6: ASSIGN main::argc := main::argc \+ 1$
 ^Region starting at \(0, [0-9]+\) IF .*5.* THEN GOTO 7 ends at \(24, [0-9]+\) 8: SKIP$

regression/goto-instrument/restrict-function-pointer-by-name-global/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.c
---restrict-function-pointer-by-name fp/f,g
+--restrict-function-pointer-by-name fp/f,g _ --no-standard-checks
 \[main\.pointer_dereference\.1\] line \d+ dereferenced function pointer must be one of \[(f, g)|(g, f)\]: SUCCESS
 \[main.assertion.1\] line \d+ assertion: FAILURE
 \[main.assertion.2\] line \d+ assertion: FAILURE