Skip to content

Commit 6e6babd

Browse files
thomasspriggsthomasspriggs
committed
Run Initialisation7 test with new SMT backend
This now passes due to support for structs with single member.
1 parent 15d0bd2 commit 6e6babd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎regression/cbmc/Initialization7/test.desc‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE
1+
CORE new-smt-backend
22
main.c
33

44
^EXIT=10$

0 commit comments

Comments
 (0)