now works

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5092 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2015-01-25 11:35:07 +00:00 · 2015-01-25 11:35:07 +00:00 · 2cf7a248a0
parent 7cf7b4bc1b
commit 2cf7a248a0
1 changed files with 2 additions and 2 deletions
--- a/regression/cbmc/Function_Pointer17/test.desc
+++ b/regression/cbmc/Function_Pointer17/test.desc
@ -1,6 +1,6 @@
-KNOWNBUG
+CORE
 main.c
-
+--unwind 1
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$