Skip to content

Commit 3fc215c

Browse files
committed
Run SMT solver tests in CMake/CTest builds
This will help us get towards feature parity between Makefile and CMake-based set-ups.
1 parent 7f9e8d3 commit 3fc215c

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

regression/cbmc/CMakeLists.txt

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,3 +8,15 @@ add_test_pl_profile(
88
"-C;-X;thorough-paths;-X;smt-backend;-s;paths-lifo"
99
"CORE"
1010
)
11+
12+
add_test_pl_profile(
13+
"cbmc-cprover-smt2"
14+
"$<TARGET_FILE:cbmc> --cprover-smt2"
15+
"-C;-X;broken-smt-backend;-s;cprover-smt2"
16+
"CORE"
17+
)
18+
set_property(
19+
TEST "cbmc-cprover-smt2-CORE"
20+
PROPERTY ENVIRONMENT
21+
"PATH=$ENV{PATH}:${CMAKE_BINARY_DIR}/bin"
22+
)

0 commit comments

Comments
 (0)