diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-15 09:15:26 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-15 15:15:26 +0000 |
| commit | 5c82e1dd02c304dd34c72ffcc966840e8b3005ff (patch) | |
| tree | c113fdf0bf2396dbe4970dcd84c5b88b16bd4624 /docs/api/python/z3compat/boolean.rst | |
| parent | 7a3273b3047120a0c69bbc040166895f69a3b2e2 (diff) | |
Add trace to see inferences in final proof (#7813)
Adds -t im-pf to see which inferences occur in the final proof. Must be used with proofs and --proof-annotate.
Diffstat (limited to 'docs/api/python/z3compat/boolean.rst')
0 files changed, 0 insertions, 0 deletions