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 /configure.ac | |
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 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index e7d5a005a..f805c445c 100644 --- a/configure.ac +++ b/configure.ac @@ -413,7 +413,7 @@ if test "$enable_profiling" = yes; then CVC4LDFLAGS="${CVC4LDFLAGS:+$CVC4LDFLAGS }-pg" fi -AM_INIT_AUTOMAKE([1.11 no-define color-tests]) +AM_INIT_AUTOMAKE([1.11 no-define parallel-tests color-tests]) AC_CONFIG_HEADERS([cvc4autoconfig.h]) # Initialize libtool's configuration options. |