WIP fix test.desc

Author: hannes-steffenhagen-diffblue

regression/cbmc/gcc_builtin_add_overflow/test.desc

@@ -55,7 +55,7 @@ main.c
 \[check_generic.assertion.7\] line \d+ assertion big_result == 345: SUCCESS
 \[check_generic.assertion.8\] line \d+ assertion !__builtin_add_overflow\(.*, .*, &big_result\): SUCCESS
 \[check_generic.assertion.9\] line \d+ assertion big_result == 2ll \* .*: SUCCESS
-\[check_generic.assertion.10\] line \d+ assertion __builtin_add_overflow\(.*/2\+1, .*/2\+1, &big_result\): SUCCESS
+\[check_generic.assertion.10\] line \d+ assertion __builtin_add_overflow\(.* / 2 \+ 1, .*/ 2 \+ 1, &big_result\): SUCCESS
 \[check_generic.assertion.11\] line \d+ assertion 0 && "reachability": FAILURE
 VERIFICATION FAILED
 ^EXIT=10$