diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-03-17 15:56:30 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-17 22:38:16 +0000 |
| commit | 7c68c58bff2884c7d61f5756aad342caabc83233 (patch) | |
| tree | 636b33de5112088f148868e9a3c6722f0826ec9c /unittests | |
| parent | 02b9b0483a5243595c712c27f445ae7eda0fea9a (diff) | |
| download | klee-7c68c58bff2884c7d61f5756aad342caabc83233.tar.gz | |
Update KDAlloc unittests
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/KDAlloc/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/unittests/KDAlloc/CMakeLists.txt b/unittests/KDAlloc/CMakeLists.txt index 2bb2ebe8..87d016d7 100644 --- a/unittests/KDAlloc/CMakeLists.txt +++ b/unittests/KDAlloc/CMakeLists.txt @@ -5,6 +5,7 @@ add_klee_unit_test(KDAllocTest rusage.cpp sample.cpp stacktest.cpp) -target_compile_definitions(KDAllocTest PUBLIC "-DKDALLOC_CHECKED" "-DUSE_KDALLOC" "-DUSE_GTEST_INSTEAD_OF_MAIN") +target_compile_definitions(KDAllocTest PRIVATE KDALLOC_CHECKED USE_KDALLOC USE_GTEST_INSTEAD_OF_MAIN) target_compile_definitions(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) target_compile_options(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) +target_include_directories(KDAllocTest PRIVATE ${KLEE_INCLUDE_DIRS}) \ No newline at end of file |