projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba6ade0) | patch
Make output of regression script more readable (#3911)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 6 Mar 2020 06:10:21 +0000 (22:10 -0800)
committerGitHub <noreply@github.com>
Fri, 6 Mar 2020 06:10:21 +0000 (22:10 -0800)
commita727f6314c8f2ad72d8d83eb63c413bab68d1b08
tree328ab995248ad8f9d710fd37f995789eec59c361tree
parentba6ade0fc3f4cd339885652bb9bf5c87113c498dcommit | 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.
test/regress/run_regression.py diff | blob | history