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