diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2023-03-30 22:25:09 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-01-12 12:00:35 +0000 |
| commit | 5ca8f5a020cca251a0d5d08bc855bf945735c1af (patch) | |
| tree | 2df0f2a9e84de990acf2b8201456eabf77eb72a4 /unittests/Searcher/CMakeLists.txt | |
| parent | 19b6ae578b0658115d15848604a28434845bb3e3 (diff) | |
| download | klee-5ca8f5a020cca251a0d5d08bc855bf945735c1af.tar.gz | |
SearcherTest: remove redundant root init, fix branch type
Diffstat (limited to 'unittests/Searcher/CMakeLists.txt')
| -rw-r--r-- | unittests/Searcher/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/unittests/Searcher/CMakeLists.txt b/unittests/Searcher/CMakeLists.txt index bad3504a..7132f1d6 100644 --- a/unittests/Searcher/CMakeLists.txt +++ b/unittests/Searcher/CMakeLists.txt @@ -1,8 +1,8 @@ add_klee_unit_test(SearcherTest SearcherTest.cpp) -target_link_libraries(SearcherTest PRIVATE kleeCore ${SQLITE3_LIBRARIES}) +target_link_libraries(SearcherTest PRIVATE kleeCore ${SQLite3_LIBRARIES}) target_include_directories(SearcherTest BEFORE PRIVATE "${CMAKE_SOURCE_DIR}/lib") target_compile_options(SearcherTest PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) target_compile_definitions(SearcherTest PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) -target_include_directories(SearcherTest PRIVATE ${KLEE_INCLUDE_DIRS} ${SQLITE3_INCLUDE_DIRS}) +target_include_directories(SearcherTest PRIVATE ${KLEE_INCLUDE_DIRS} ${SQLite3_INCLUDE_DIRS}) |