fix for test

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1801 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2012-10-08 08:38:48 +00:00 · 2012-10-08 08:38:48 +00:00 · 1a24338a69
parent e2fa5831e8
commit 1a24338a69
2 changed files with 3 additions and 2 deletions
--- a/regression/ansi-c/Empty_Declaration1/test.desc
+++ b/regression/ansi-c/Empty_Declaration1/test.desc
@ -3,6 +3,6 @@ main.c

 ^SIGNAL=0$
 ^EXIT=0$
-^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+^CONVERSION ERROR$
--- a/regression/ansi-c/typedef1/test.desc
+++ b/regression/ansi-c/typedef1/test.desc
@ -3,5 +3,6 @@ main.c

 ^EXIT=0$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
 --
+^warning: ignoring
+^CONVERSION ERROR$