From a26a9311ed6cc34860092252d1750428b741b116 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Wed, 8 Apr 2026 03:23:16 +0800
Subject: feat: enhance clang-tidy configuration and improve code quality
 across multiple files

---
 proofsearch/tests/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'proofsearch/tests')

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()
 
-- 
cgit v1.2.3