From 9b7cca2bf9783f104dcc549cd68d0a8f62088a6b Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Sat, 4 Apr 2026 04:53:55 +0800 Subject: feat: implement proof trace extraction and add proof trace test --- proofsearch/tests/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) (limited to 'proofsearch/tests/CMakeLists.txt') diff --git a/proofsearch/tests/CMakeLists.txt b/proofsearch/tests/CMakeLists.txt index 864c0ad..eea0ceb 100644 --- a/proofsearch/tests/CMakeLists.txt +++ b/proofsearch/tests/CMakeLists.txt @@ -26,3 +26,5 @@ 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) atp_add_test(test_simplify test_simplify.cc) +atp_add_test(test_proof_trace test_proof_trace.cc) +atp_add_test(test_end_to_end test_end_to_end.cc) -- cgit v1.2.3