diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-18 13:47:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-18 13:47:57 -0500 |
| commit | 50b0f20be87cd82f464d3f8fc15a5fa2f0a47556 (patch) | |
| tree | 5340e7ff62e17a9954e3ab931f5edd4d1e4ba995 /src/theory/trust_node.h | |
| parent | 944cb8e5381c47ccc49955a19609921399bb9437 (diff) | |
(proof-new) SMT proof postprocess callback (#4883)
This is the callback class for processing the final proof, which connects proofs of preprocessing and expands unwanted macro steps based on proof granularity mode.
The next step will be to add the ProofNodeUpdater that uses this callback and runs final sanity checks for checking proofs.
Diffstat (limited to 'src/theory/trust_node.h')
0 files changed, 0 insertions, 0 deletions