replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

assertion is now shown 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3396 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-01-09 23:12:19 +00:00
parent 3a28e0df50
commit 91f27a44f7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
regression/cbmc/Pointer_byte_extract2/test.desc
View File

@ -3,7 +3,7 @@ main.c
--all-claims --all-claims
^EXIT=0$ ^EXIT=0$
^SIGNAL=0$ ^SIGNAL=0$
^\[main\.2\] : FAILED$ ^\[main\.2\] .*: FAILED$
^\*\* 1 of 2 failed (2 iterations)$ ^\*\* 1 of 2 failed (2 iterations)$
-- --
^warning: ignoring ^warning: ignoring