blob: 87d016d75f656befadf90fb7f1957372f127f606 (
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 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})
|
