Update regression/cbmc/residual-guards-2/test_execution.desc

Co-Authored-By: Peter Schrammel <[email protected]>

Author: smowton

regression/cbmc/residual-guards-2/test_execution.desc

@@ -1,7 +1,7 @@
 CORE
 test.c
 --unwind 10
-^\[main.assertion.[0-9]+\] line [0-9]+ assertion argc == 1: FAILURE$
+^\[main\.assertion\.[0-9]+\] line [0-9]+ assertion argc == 1: FAILURE$
 ^VERIFICATION FAILED$
 ^EXIT=10$
 ^SIGNAL=0$