diff options
Diffstat (limited to 'unittests/Assignment/CMakeLists.txt')
| -rw-r--r-- | unittests/Assignment/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/unittests/Assignment/CMakeLists.txt b/unittests/Assignment/CMakeLists.txt new file mode 100644 index 00000000..e231ee39 --- /dev/null +++ b/unittests/Assignment/CMakeLists.txt @@ -0,0 +1,4 @@ +add_klee_unit_test(AssignmentTest + AssignmentTest.cpp) +klee_get_llvm_libs(LLVM_LIBS Support) +target_link_libraries(AssignmentTest PRIVATE kleaverExpr ${LLVM_LIBS}) |