diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-01-08 13:38:24 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-08 13:38:24 -0300 |
| commit | 2958e98eff88ce14aefcdeee3c6ec579fcc2bb1d (patch) | |
| tree | af304364b3fdd8f98663b4dcfb2d2632719f0ee2 /src/theory/strings/infer_info.cpp | |
| parent | 63d27f031f8942607d869080d0e2cfb6078d40b1 (diff) | |
[proof-new] Implementing getProof in the API and SMT engine (#5751)
A proof is represented as a string in GetProofCommand. The string is generated by the custom ways in which the SMT engine may choose to print the proof, based on proof-format-mode (to be added in subsequent commits).
Diffstat (limited to 'src/theory/strings/infer_info.cpp')
0 files changed, 0 insertions, 0 deletions