diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-05 22:10:21 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-05 22:10:21 -0800 |
| commit | a727f6314c8f2ad72d8d83eb63c413bab68d1b08 (patch) | |
| tree | 328ab995248ad8f9d710fd37f995789eec59c361 /test/regress/regress1/sygus/issue2935.sy | |
| parent | ba6ade0fc3f4cd339885652bb9bf5c87113c498d (diff) | |
Make output of regression script more readable (#3911)
The output of the regression script was difficult to read (especially
the diffs). This commit makes the output more readable by adding colors,
separators, and using a unified diff.
Diffstat (limited to 'test/regress/regress1/sygus/issue2935.sy')
0 files changed, 0 insertions, 0 deletions