blob: 0d19891bc3fb4a3bf514cefbc0a6bbbd72a776f3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
add_klee_unit_test(KDAllocTest
allocate.cpp
randomtest.cpp
reuse.cpp
rusage.cpp
sample.cpp
stacktest.cpp)
target_compile_definitions(KDAllocTest PRIVATE 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})
|
