Merge pull request diffblue#2028 from tautschnig/regression-fix

Don't require the simplifier to solve this regression test
NathanJPhillips · Jun 1, 2018 · b49822e · b49822e
2 parents 2815e84 + 829068f
commit b49822e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/regression/cbmc/null3/test.desc b/regression/cbmc/null3/test.desc
@@ -3,7 +3,6 @@ main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
-^Generated .* VCC\(s\), 0 remaining after simplification$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring