Fix shadow memory constchar-param1 regression test

Enrico Steffinlongo · Enrico Steffinlongo · commit 5b0ddb74fcc3 · 2023-09-05T15:22:25.000+02:00
diff --git a/regression/cbmc-shadow-memory/constchar-param1/test.desc b/regression/cbmc-shadow-memory/constchar-param1/test.desc
@@ -1,9 +1,9 @@
-KNOWNBUG
+CORE
 main.c
 --unwind 11
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
-^Generated 11 VCC\(s\), 0 remaining after simplification$
+^Generated \d+ VCC\(s\), 0 remaining after simplification$
 --
 ^warning: ignoring
