diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-17 23:16:18 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 21:16:18 -0700 |
commit | 750b53312a1930d6c0e4a43b7ae85736a30aa6d4 (patch) | |
tree | e85ff1a8e90d9e864f2026be3ca242538db4f5c9 /src/base/exception.h | |
parent | a1941114ac47af57547b34bb8ef8123624dd3bd3 (diff) |
(proof-new) Proof recording for assertions pipeline (#4766)
Adds explicit steps to preprocess proof generator if one is provided.
Diffstat (limited to 'src/base/exception.h')
0 files changed, 0 insertions, 0 deletions