summaryrefslogtreecommitdiff
path: root/test/regress/Makefile.am
AgeCommit message (Expand)Author
2016-10-23Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK buildAndres Notzli
2013-05-01Adding a missing makefile to the dist (fixes distcheck)Morgan Deters
2013-04-25Add ability to run different regression levels with "make check"Morgan Deters
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-06-02more VERBOSE test failuresMorgan 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-02-03Enabled more regress tests. Takes 26s on my machine to run a make -k check in...Tim King
2010-02-03some more tests for the context.Dejan Jovanović
2010-01-27support "make check" in src/ subdirs for unit-testing of just that module; al...Morgan Deters
2010-01-27test framework fixes; bug 13 closedMorgan Deters
2010-01-26Added test/regress/boolean.cvcTim King
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2010-01-23Added pure PL regression tests. Mostly CNFTim King
2010-01-22Added regression testTim King
2009-12-16Fixes to the build system:Morgan Deters
2009-12-07fixing a few broken build-related items, adding test casesMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback