unittests/Solver/CMakeLists.txt


1
2
3
4
5
6
7
8
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()