diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-15 09:50:31 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-06-14 20:18:19 +0100 |
| commit | d2fbdf74493d69e73fbfaedc0d59e593dfd7c69d (patch) | |
| tree | d6deaca40d0526502b077270cff7202d31155c87 /unittests/DiscretePDF/CMakeLists.txt | |
| parent | 2675168486c738d9ec60c728d6a14789cddd0d17 (diff) | |
| download | klee-d2fbdf74493d69e73fbfaedc0d59e593dfd7c69d.tar.gz | |
Add unittest for DiscretePDF
Diffstat (limited to 'unittests/DiscretePDF/CMakeLists.txt')
| -rw-r--r-- | unittests/DiscretePDF/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/unittests/DiscretePDF/CMakeLists.txt b/unittests/DiscretePDF/CMakeLists.txt new file mode 100644 index 00000000..07ec1f89 --- /dev/null +++ b/unittests/DiscretePDF/CMakeLists.txt @@ -0,0 +1,4 @@ +add_klee_unit_test(DiscretePDFTest + DiscretePDFTest.cpp) +# FIXME add the following line to link against libgtest.a +target_link_libraries(DiscretePDFTest PRIVATE kleaverSolver) \ No newline at end of file |