diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/CMakeLists.txt | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt index c93fe9c9..7bae7b07 100644 --- a/kernel/CMakeLists.txt +++ b/kernel/CMakeLists.txt @@ -154,9 +154,15 @@ if(BUILD_TESTING) include("Catch") include("BuildHostTests") - teachos_add_tests("kernel") + if(TEACHOS_ENABLE_TEST_SANITIZERS) + teachos_add_tests("kernel") + set(TEST_TARGET "kernel_tests") + elseif(TEACHOS_ENABLE_TEST_TSAN) + teachos_add_stress_tests("kernel") + set(TEST_TARGET "kernel_stress_tests") + endif() - target_sources("kernel_tests" PRIVATE + target_sources("${TEST_TARGET}" PRIVATE "kernel/test_support/kapi/boot_modules.cpp" "kernel/test_support/kapi/cpu.cpp" "kernel/test_support/kapi/cio.cpp" @@ -182,17 +188,17 @@ if(BUILD_TESTING) "kernel/test_support/state_reset_listener.cpp" ) - target_compile_definitions("kernel_tests" PRIVATE + target_compile_definitions("${TEST_TARGET}" PRIVATE KERNEL_TEST_ASSETS_DIR="${CMAKE_CURRENT_SOURCE_DIR}/kernel/test_support/filesystem/test_assets" ) - set_target_properties("kernel_tests" PROPERTIES + set_target_properties("${TEST_TARGET}" PROPERTIES C_CLANG_TIDY "" CXX_CLANG_TIDY "" ) - if(COMMAND "enable_coverage" AND NOT TEACHOS_ENABLE_TEST_TSAN) + if(COMMAND "enable_coverage" AND TEACHOS_ENABLE_TEST_COVERAGE) enable_coverage("kernel_lib") - enable_coverage("kernel_tests") + enable_coverage("${TEST_TARGET}") endif() endif() |