diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 04:53:55 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 04:53:55 +0800 |
| commit | 9b7cca2bf9783f104dcc549cd68d0a8f62088a6b (patch) | |
| tree | 0dc71b7e6611608973a7673f45cfe484ba9c2378 /proofsearch/tests/test_discrim_tree.cc | |
| parent | dbd35e0081c600822a2069fd7b393e085b0c00c9 (diff) | |
| download | rcc-project-9b7cca2bf9783f104dcc549cd68d0a8f62088a6b.tar.gz rcc-project-9b7cca2bf9783f104dcc549cd68d0a8f62088a6b.tar.xz | |
feat: implement proof trace extraction and add proof trace test
Diffstat (limited to 'proofsearch/tests/test_discrim_tree.cc')
0 files changed, 0 insertions, 0 deletions