diff options
Diffstat (limited to 'unittests/Expr')
| -rw-r--r-- | unittests/Expr/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/unittests/Expr/CMakeLists.txt b/unittests/Expr/CMakeLists.txt new file mode 100644 index 00000000..4e7bc997 --- /dev/null +++ b/unittests/Expr/CMakeLists.txt @@ -0,0 +1,6 @@ +add_klee_unit_test(ExprTest + ExprTest.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(ExprTest PRIVATE kleaverExpr ${LLVM_LIBS}) |