Skip to content

Commit e823d4b

Browse files
lucasccordeirolucasccordeiro
committed
moved full-slice test cases from cbmc to goto-instrument
Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>
1 parent 3613ef9 commit e823d4b

File tree

42 files changed

+143
-10
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+143
-10
lines changed

‎regression/cbmc/slice01/main.c‎ renamed to ‎regression/goto-instrument/slice01/main.c‎

File renamed without changes.

‎regression/cbmc/slice01/test.desc‎ renamed to ‎regression/goto-instrument/slice01/test.desc‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE
1+
KNOWNBUG
22
main.c
33
--unwind 2 --full-slice
44
^EXIT=0$

‎regression/cbmc/slice02/main.c‎ renamed to ‎regression/goto-instrument/slice02/main.c‎

File renamed without changes.

‎regression/cbmc/slice02/test.desc‎ renamed to ‎regression/goto-instrument/slice02/test.desc‎

File renamed without changes.

‎regression/cbmc/slice03/main.c‎ renamed to ‎regression/goto-instrument/slice03/main.c‎

File renamed without changes.

‎regression/cbmc/slice03/test.desc‎ renamed to ‎regression/goto-instrument/slice03/test.desc‎

File renamed without changes.

‎regression/cbmc/slice04/main.c‎ renamed to ‎regression/goto-instrument/slice04/main.c‎

File renamed without changes.

‎regression/cbmc/slice05/test.desc‎ renamed to ‎regression/goto-instrument/slice04/test.desc‎

File renamed without changes.

‎regression/cbmc/slice05/main.c‎ renamed to ‎regression/goto-instrument/slice05/main.c‎

File renamed without changes.

‎regression/cbmc/slice06/test.desc‎ renamed to ‎regression/goto-instrument/slice05/test.desc‎

File renamed without changes.

0 commit comments

Comments
 (0)