blob: 2bb2ebe89c43d4c85ea4c5d1ec9679f158602bb0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
add_klee_unit_test(KDAllocTest
allocate.cpp
randomtest.cpp
reuse.cpp
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 ${KLEE_COMPONENT_CXX_DEFINES})
target_compile_options(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_FLAGS})
|