fix

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2323 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2013-04-05 14:44:21 +00:00 · 2013-04-05 14:44:21 +00:00 · 5799d4a131
parent dbf2ca21dc
commit 5799d4a131
2 changed files with 4 additions and 4 deletions
--- a/regression/cbmc-concurrency/atomic_section_sc1/test.desc
+++ b/regression/cbmc-concurrency/atomic_section_sc1/test.desc
@ -1,8 +1,8 @@
 CORE
 main.c

-^EXIT=10$
+^EXIT=0$
 ^SIGNAL=0$
-^VERIFICATION FAILED$
+^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
--- a/regression/cbmc-concurrency/atomic_section_sc2/test.desc
+++ b/regression/cbmc-concurrency/atomic_section_sc2/test.desc
@ -1,8 +1,8 @@
 CORE
 main.c

-^EXIT=10$
+^EXIT=0$
 ^SIGNAL=0$
-^VERIFICATION FAILED$
+^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring