Hello world!

Author: hannes-steffenhagen-diffblue

regression/cbmc/restrict-function-pointer-to-complex-expression/test.desc

@@ -1,7 +1,7 @@
 CORE
 test.c
 --restrict-function-pointer "use_fg.function_pointer_call.1/f,g"
-\[use_fg.assertion.2\] line \d+ assertion (choice \? fptr : gptr)(10) == 10 \+ choice: SUCCESS
+\[use_fg.assertion.2\] line \d+ assertion \(choice \? fptr : gptr\)\(10\) == 10 \+ choice: SUCCESS
 \[use_fg.assertion.1\] line \d+ dereferenced function pointer at use_fg.function_pointer_call.1 must be one of \[(f|g), (f|g)\]: SUCCESS
 ^EXIT=0$
 ^SIGNAL=0$