more

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1585 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2012-09-10 16:17:02 +00:00 · 2012-09-10 16:17:02 +00:00 · d0ad22fc79
parent 3c8215e83f
commit d0ad22fc79
1 changed files with 1 additions and 1 deletions
--- a/regression/cbmc/complex1/test.desc
+++ b/regression/cbmc/complex1/test.desc
@ -1,4 +1,4 @@
-FUTURE
+CORE
 main.c

 ^EXIT=0$