diff options
Diffstat (limited to 'unittests/Solver/CMakeLists.txt')
| -rw-r--r-- | unittests/Solver/CMakeLists.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/unittests/Solver/CMakeLists.txt b/unittests/Solver/CMakeLists.txt new file mode 100644 index 00000000..602a1196 --- /dev/null +++ b/unittests/Solver/CMakeLists.txt @@ -0,0 +1,12 @@ +add_klee_unit_test(SolverTest + SolverTest.cpp) +# FIXME: KLEE's libraries should just declare what libraries +# they depend on so we don't need to manually link. +klee_get_llvm_libs(LLVM_LIBS Support) +target_link_libraries(SolverTest + PRIVATE + kleaverSolver + kleaverExpr + kleeSupport + kleeBasic + ${LLVM_LIBS}) |