From 8a0088ecfacd4b88ed9a606da415bff1211ee114 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 19 Nov 2016 15:06:07 +0000 Subject: [PATCH] make test more easily satisfiable --- regression/cbmc/null3/test.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/cbmc/null3/test.desc b/regression/cbmc/null3/test.desc index 751e49c55dc..7d1a2a85c81 100644 --- 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