Let's see if this fixes MacOS and CTest

Author: martin

regression/goto-instrument/uninitialized-check/test.desc

@@ -1,9 +1,9 @@
 CORE
 main.c
 --uninitialized-check
-^\[main.uninitialized_local.1\] line \d+ use of uninitialized local variable main::1::definitely_uninitialized: FAILURE$
-^\[main.uninitialized_local.2\] line \d+ use of uninitialized local variable main::1::maybe_uninitialized: FAILURE$
-^\[main.uninitialized_local.3\] line \d+ use of uninitialized local variable main::1::actually_initialized: SUCCESS$
+^\[main.uninitialized_local.\d+\] line \d+ use of uninitialized local variable .*definitely_uninitialized: FAILURE$
+^\[main.uninitialized_local.\d+\] line \d+ use of uninitialized local variable .*maybe_uninitialized: FAILURE$
+^\[main.uninitialized_local.\d+\] line \d+ use of uninitialized local variable .*actually_initialized: SUCCESS$
 ^VERIFICATION FAILED$
 ^EXIT=10$
 ^SIGNAL=0$