summaryrefslogtreecommitdiff
path: root/test/Makefile.am
AgeCommit message (Expand)Author
2012-12-08Fix bug 476: when CxxTest is not found, make the error less fatal-lookingMorgan Deters
2012-11-26include new regression directories in summary test outputMorgan Deters
2012-10-29auflia directory missing from regression summary - fixedClark Barrett
2012-08-28test summaries for automake 1.12 test harnessMorgan Deters
2012-06-13decision regressions, all but one failKshitij Bansal
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-06-06Fixing numerous issues with tests and "make dist":Morgan Deters
2012-04-11merge from arrays-clark branchMorgan Deters
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-09-02Partial merge of integers work; this is simple B&B and some pseudobooleanMorgan Deters
2011-05-23Merge from arrays2 branch.Morgan Deters
2011-04-18Partial merge from datatypes-merge branch:Morgan Deters
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-11-15fix some things with the build system (make dist, make install, make check)Morgan Deters
2010-09-20hooking up the bitvector testsDejan Jovanović
2010-09-14* added test/regress/regress0/arith for easy arithmetic regress tests.Tim King
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-06-03* Added NodeBuilder<>::getChild() to make interface more consistentMorgan Deters
2010-05-27small cosmetic change to tests summary outputMorgan Deters
2010-05-27Use the newer automake test driver "parallel-tests". This driver:Morgan Deters
2010-02-04build system for multi-level regressionsMorgan Deters
2010-02-04test infrastructure updated for multiple-level regressionsMorgan Deters
2010-01-27support "make check" in src/ subdirs for unit-testing of just that module; al...Morgan Deters
2009-12-17add system regression testing infrastructureMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback