make test more easily satisfiable

diffblue · Nov 19, 2016 · 8a0088e · 8a0088e
1 parent 5cba7ec
commit 8a0088e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/cbmc/null3/test.desc b/regression/cbmc/null3/test.desc
@@ -3,7 +3,7 @@ main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
-^Generated 1 VCC(s), 0 remaining after simplification$
+^Generated .* VCC(s), 0 remaining after simplification$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring