remove iteration count from test result

Author: Daniel Kroening

regression/cbmc/Quantifiers-copy/test.desc

@@ -7,5 +7,5 @@ main.c
 ^\[main.assertion.3\] assertion b\[.*\] == 2: SUCCESS$
 ^\[main.assertion.4\] assertion b\[.*\] == 3: SUCCESS$
 ^\[main.assertion.5\] assertion b\[.*\] == 4: SUCCESS$
-^\*\* 0 of 5 failed \(1 iteration\)$
+^\*\* 0 of 5 failed
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/Quantifiers-initialisation/test.desc

@@ -7,5 +7,5 @@ main.c
 ^\[main.assertion.3\] assertion a\[.*\] == 3: SUCCESS$
 ^\[main.assertion.4\] assertion a\[.*\] == 4: SUCCESS$
 ^\[main.assertion.5\] assertion a\[.*\] == 5: SUCCESS$
-^\*\* 0 of 5 failed \(1 iteration\)$
+^\*\* 0 of 5 failed
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/Quantifiers-invalid-var-range/test.desc

@@ -2,5 +2,5 @@ CORE
 main.c
 
 ^\*\* Results:$
-^\*\* 0 of 1 failed \(1 iteration\)$
+^\*\* 0 of 1 failed
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/Quantifiers-not-exists/test.desc

@@ -8,5 +8,5 @@ main.c
 ^\[main.assertion.4\] assertion tmp_if_expr\$9: SUCCESS$
 ^\[main.assertion.5\] assertion tmp_if_expr\$12: SUCCESS$
 ^\[main.assertion.6\] assertion tmp_if_expr\$15: SUCCESS$
-^\*\* 0 of 6 failed \(1 iteration\)$
+^\*\* 0 of 6 failed
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/Quantifiers-two-dimension-array/test.desc

@@ -7,5 +7,5 @@ main.c
 ^\[main.assertion.3\] assertion a\[.*\]\[.*\] == 1: SUCCESS$
 ^\[main.assertion.4\] assertion a\[.*\]\[.*\] == 2: SUCCESS$
 ^\[main.assertion.5\] assertion tmp_if_expr\$3: SUCCESS$
-^\*\* 0 of 5 failed \(1 iteration\)$
+^\*\* 0 of 5 failed
 ^VERIFICATION SUCCESSFUL$