diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-05-27 19:49:17 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-05-27 19:49:17 +0000 |
| commit | e5c77b0674a9cb698e6012ccc1950fef9bee4f8d (patch) | |
| tree | f7bba60da261be820931148c8637c3cf2b116514 /src/theory/arith | |
| parent | 6f5d68c98be8a53ed98b0c0bd1c466f415b01526 (diff) | |
Use the newer automake test driver "parallel-tests". This driver:
* keeps test logs around
* provides parallel testing functionality (with make -jN).
I've also added new functionality in test/Makefile.am which deletes old test logs, ensures that ALL tests are tried (even if units fail), and provides a color-coded summary at the end of the test run, which shows how many units, regressions (per level), and system tests failed (or passed), and provides a link to the log file for further information.
Resolves bug 117.
Diffstat (limited to 'src/theory/arith')
0 files changed, 0 insertions, 0 deletions