diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-11-09 17:34:50 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-12-12 17:50:24 +0000 |
| commit | eedc49570c3ed3111b2a2a11a7861ac90ab650f8 (patch) | |
| tree | 9ce628c0bf484e8802722893e01ad8806636c417 /unittests/Expr/CMakeLists.txt | |
| parent | d8deadd787d0f857d701b73aeaa3e0753efd9405 (diff) | |
| download | klee-eedc49570c3ed3111b2a2a11a7861ac90ab650f8.tar.gz | |
[optimize-array] Hash collision test
Diffstat (limited to 'unittests/Expr/CMakeLists.txt')
| -rw-r--r-- | unittests/Expr/CMakeLists.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/unittests/Expr/CMakeLists.txt b/unittests/Expr/CMakeLists.txt index 84dce619..34bc5a01 100644 --- a/unittests/Expr/CMakeLists.txt +++ b/unittests/Expr/CMakeLists.txt @@ -1,3 +1,4 @@ add_klee_unit_test(ExprTest - ExprTest.cpp) -target_link_libraries(ExprTest PRIVATE kleaverExpr) + ExprTest.cpp + ArrayExprTest.cpp) +target_link_libraries(ExprTest PRIVATE kleaverExpr kleeSupport kleaverSolver) |