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/preprocessing/passes | |
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/preprocessing/passes')
0 files changed, 0 insertions, 0 deletions