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/preprocessing | |
| 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/preprocessing')
0 files changed, 0 insertions, 0 deletions