about summary refs log tree commit diff homepage
path: root/unittests/Searcher/CMakeLists.txt
blob: 2935847088d42c9c8bd2654f88ab1e5ae7713bf9 (plain) (blame) 
1
2
3
4

add_klee_unit_test(SearcherTest
  SearcherTest.cpp)
target_link_libraries(SearcherTest PRIVATE kleeCore)
target_include_directories(SearcherTest BEFORE PUBLIC "../../lib")
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 17:49:26 +0000