diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-02 09:49:25 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-02 09:49:25 -0600 |
commit | 4c1f67446ad59f1c5efe7230b96b0d3ccac0e692 (patch) | |
tree | 80fac75e5c9be8e0bb0cef37eed167307581fa86 /src/smt | |
parent | 95add26e5210e53e03c55ee313279b87cc3d5660 (diff) |
Improvements for NL traces (#5846)
This makes it so that -t nl-ext is a concise summary of what the nl-ext solver is doing, which I use frequently for debugging.
This is a temporary solution, we should consider a deeper refactoring of traces throughout NL at some point.
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions