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

property IDs have changed 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4664 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-10-26 14:11:38 +00:00
parent a25d6bccd5
commit 162e6e98af
3 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
regression/cbmc/Multi_Dimensional_Array6/test.desc
View File

@ -1,9 +1,10 @@
CORE
main.c
--unwind 3 --no-unwinding-assertions --all-claims
--unwind 3 --no-unwinding-assertions --all-properties
^EXIT=0$
^SIGNAL=0$
^\[main\.2\] : FAILED$
^\[main\.assertion\.1\] : OK$
^\[main\.assertion\.2\] : FAILED$
^\*\* 1 of 2 failed (2 iterations)$
--
^warning: ignoring

6
regression/cbmc/Pointer_byte_extract5/test.desc
View File

@ -1,9 +1,9 @@
CORE
main.c
--all-claims --bounds-check --32
--all-properties --bounds-check --32
^EXIT=0$
^SIGNAL=0$
^\[main\.11\] array.List upper bound in .*: FAILED$
^\*\* 1 of 11 failed (2 iterations)$
^\[main\.array_bounds\.11\] array.List upper bound in .*: FAILED$
^\*\* 1 of 9 failed (2 iterations)$
--
^warning: ignoring

6
regression/cbmc/Pointer_byte_extract8/test.desc
View File

@ -1,9 +1,9 @@
KNOWNBUG
main.c
--all-claims --bounds-check --32 --no-simplify
--all-properties --bounds-check --32 --no-simplify
^EXIT=0$
^SIGNAL=0$
^\[main\.11\] array.List upper bound: FAILED$
^\*\* 1 of 11 failed (2 iterations)$
^\[main\.array_bounds\.5\] array.List upper bound: FAILED$
^\*\* 1 of 9 failed (2 iterations)$
--
^warning: ignoring