From 26da267b732e28e4d9697278e735b410e50e5e08 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Thu, 2 Apr 2026 04:10:53 +0800
Subject: Initial commit: Build project architecture, define interfaces, write
 documentation, with the help of Claude

---
 tests/CMakeLists.txt | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 tests/CMakeLists.txt

(limited to 'tests/CMakeLists.txt')

diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
new file mode 100644
index 0000000..d841595
--- /dev/null
+++ b/tests/CMakeLists.txt
@@ -0,0 +1,27 @@
+# ─── GoogleTest ───────────────────────────────────────────────────────────────
+include(FetchContent)
+FetchContent_Declare(
+    googletest
+    GIT_REPOSITORY https://github.com/google/googletest.git
+    GIT_TAG        v1.14.0
+)
+# Prevent GoogleTest from overriding our compiler/linker options
+set(gtest_force_shared_crt ON CACHE BOOL "" FORCE)
+FetchContent_MakeAvailable(googletest)
+
+include(GoogleTest)
+
+# ─── Helper: define a test target ────────────────────────────────────────────
+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)
+    gtest_discover_tests(${TEST_NAME})
+endfunction()
+
+# ─── Test Targets ────────────────────────────────────────────────────────────
+atp_add_test(test_term_bank       test_term_bank.cc)
+atp_add_test(test_unification     test_unification.cc)
+atp_add_test(test_clausifier      test_clausifier.cc)
+atp_add_test(test_resolution      test_resolution.cc)
+atp_add_test(test_discrim_tree    test_discrim_tree.cc)
+atp_add_test(test_prover          test_prover.cc)
-- 
cgit v1.2.3