diff options
Diffstat (limited to 'unittests/Solver/CMakeLists.txt')
| -rw-r--r-- | unittests/Solver/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/unittests/Solver/CMakeLists.txt b/unittests/Solver/CMakeLists.txt index c82e51b5..c3dc63b6 100644 --- a/unittests/Solver/CMakeLists.txt +++ b/unittests/Solver/CMakeLists.txt @@ -1,3 +1,9 @@ add_klee_unit_test(SolverTest SolverTest.cpp) target_link_libraries(SolverTest PRIVATE kleaverSolver) + +if (${ENABLE_Z3}) + add_klee_unit_test(Z3SolverTest + Z3SolverTest.cpp) +target_link_libraries(Z3SolverTest PRIVATE kleaverSolver) +endif() |