diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-02 19:13:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-02 19:13:54 -0500 |
| commit | 4e6eb0a191ec78cbebd842f9c732ef9bd76bd724 (patch) | |
| tree | 5669900ec03a3bf165fe8ccf3d28a08e4971b54d /src/theory/theory_traits_template.h | |
| parent | 6411f92760a9116dec7e3390dd1d2f1bd8566e94 (diff) | |
(proof-new) Improve debugging infrastructure for open proofs (#4984)
This includes more versions of checking whether a proof node is closed and standardizing output.
Diffstat (limited to 'src/theory/theory_traits_template.h')
0 files changed, 0 insertions, 0 deletions