diff options
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 |