diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-08 03:23:16 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-08 03:23:16 +0800 |
| commit | a26a9311ed6cc34860092252d1750428b741b116 (patch) | |
| tree | 83eb5ccd5e94100a8e0368e8f25c977a2e2e6c03 /proofsearch/tests | |
| parent | 598f364de0a809747714294326a0193788e0bdfb (diff) | |
| download | rcc-project-a26a9311ed6cc34860092252d1750428b741b116.tar.gz rcc-project-a26a9311ed6cc34860092252d1750428b741b116.tar.xz | |
feat: enhance clang-tidy configuration and improve code quality across multiple files
Diffstat (limited to 'proofsearch/tests')
| -rw-r--r-- | proofsearch/tests/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proofsearch/tests/CMakeLists.txt b/proofsearch/tests/CMakeLists.txt index eea0ceb..184357b 100644 --- a/proofsearch/tests/CMakeLists.txt +++ b/proofsearch/tests/CMakeLists.txt @@ -15,6 +15,7 @@ include(GoogleTest) function(atp_add_test TEST_NAME TEST_SOURCE) add_executable(${TEST_NAME} ${TEST_SOURCE}) target_link_libraries(${TEST_NAME} PRIVATE atp_core GTest::gtest_main) + target_compile_options(${TEST_NAME} PRIVATE ${ATP_PROJECT_WARNING_FLAGS}) gtest_discover_tests(${TEST_NAME}) endfunction() |