remove spurious spaces

Author: Daniel Kroening

regression/cbmc/Quantifiers-assertion/test.desc

@@ -8,5 +8,5 @@ main.c
 ^\[main.assertion.4\] NotExists-Forall: failed: FAILURE$
 ^\[main.assertion.5\] NotForall-Forall: successful: SUCCESS$
 ^\[main.assertion.6\] NotForall-NotForall: successful: SUCCESS$
-^\*\* 2 of 6 failed 
+^\*\* 2 of 6 failed
 ^VERIFICATION FAILED$

regression/cbmc/Quantifiers-assignment/test.desc

@@ -6,5 +6,5 @@ main.c
 ^\[main.assertion.2\] assertion y: FAILURE$
 ^\[main.assertion.3\] assertion z1: SUCCESS$
 ^\[main.assertion.4\] assertion z2: SUCCESS$
-^\*\* 1 of 4 failed 
+^\*\* 1 of 4 failed
 ^VERIFICATION FAILED$

regression/cbmc/Quantifiers-if/test.desc

@@ -7,5 +7,5 @@ main.c
 ^\[main.assertion.3\] success 1: SUCCESS$
 ^\[main.assertion.4\] failure 3: FAILURE$
 ^\[main.assertion.5\] success 2: SUCCESS$
-^\*\* 3 of 5 failed 
+^\*\* 3 of 5 failed
 ^VERIFICATION FAILED$

regression/cbmc/Quantifiers-initialisation2/test.desc

@@ -7,5 +7,5 @@ main.c
 ^\[main.assertion.3\] assertion a\[.*\] > a\[.*\]: FAILURE$
 ^\[main.assertion.4\] forall c\[\]: SUCCESS$
 ^\[main.assertion.5\] assertion c\[.*\] >= c\[.*\]: SUCCESS$
-^\*\* 1 of 5 failed 
+^\*\* 1 of 5 failed
 ^VERIFICATION FAILED$

regression/cbmc/Quantifiers-type/test.desc

@@ -4,5 +4,5 @@ main.c
 ^\*\* Results:$
 ^\[main.assertion.1\] assertion tmp_if_expr\$1: FAILURE$
 ^\[main.assertion.2\] assertion tmp_if_expr\$2: SUCCESS$
-^\*\* 1 of 2 failed 
+^\*\* 1 of 2 failed
 ^VERIFICATION FAILED$