summaryrefslogtreecommitdiff
path: root/test/RegressTests.py
Commit message (Expand)AuthorAgeFilesLines
* Use Python raw strings for regex methods argumentAlexis Hildebrandt2024-07-081-3/+3
* test: Accept test names as argumentsAlexis Hildebrandt2023-12-091-0/+4
* tests: Modernize test scriptsAlexis Hildebrandt2023-12-051-77/+61
* Migrate Python scripts to Python 3Alexis Hildebrandt2023-12-041-2/+1
* Remove obsolete from __future__ importsAlexis Hildebrandt2023-02-011-1/+0
* Replace os.path.abspath with os.path.realpathAlexis Hildebrandt2022-07-011-2/+2
* Show "FAILURE in exit code" when success is expectedAlan Bram2021-05-041-5/+4
* Make test harness more Windows compatibleDaniel Coonce2021-02-021-4/+6
* Make tests scripts Python 3 compatibleAlexis Hildebrandt2019-12-051-13/+23
* Fix test harness to work with msys2Evan Mallory2016-09-231-3/+25
* [tests] Fix empty testfile checkAlexis Hildebrandt2015-10-271-3/+4
* [doc] Add CheckTests to ctestAlexis Hildebrandt2015-01-151-0/+3
* allow -f /dev/stdin in test runnerJohann Klähn2013-01-171-1/+1
* fix test runner if filename is specifiedJohann Klähn2012-10-181-2/+4
* Fixes so that tests can run under distcheckJohn Wiegley2012-04-251-3/+4
* Resolve some issues with proof buildsJohn Wiegley2012-04-151-1/+2
* Added a test harness error diagnosticJohn Wiegley2012-03-301-0/+2
* Allow use of $FILE in stdout checksJohn Wiegley2012-03-231-3/+2
* Improved the behavior of -XJohn Wiegley2012-03-091-0/+2
* Display file name when a regression test failsJohn Wiegley2012-03-091-2/+2
* Added a new 'python' directiveJohn Wiegley2012-03-011-1/+3
* Changed testing format to aid with debuggingJohn Wiegley2011-02-121-56/+51
* When a test fails, show the command that failedJohn Wiegley2011-02-121-31/+37
* Corrected regression test outputJohn Wiegley2011-02-121-3/+3
* 'make check' for gcov shouldn't listen to -jJohn Wiegley2010-06-231-1/+4
* Regression and generate tests now fail properlyJohn Wiegley2010-06-221-11/+14
* Fix to the way simplified regressions tests are readJohn Wiegley2010-06-191-1/+1
* Tests run in parallel with using acprep -jX makeJohn Wiegley2010-06-151-17/+46
* Made >>>2 and === optional in regression testsJohn Wiegley2010-06-141-5/+6
* Make the source directory available to all testsJohn Wiegley2009-11-021-3/+7
* Was missing an argument in RegressTests.pyJohn Wiegley2009-03-081-1/+1
* Refactored test/RegressTests.pyJohn Wiegley2009-03-031-93/+129
* Failing RegressTests weren't reporting failureJohn Wiegley2009-03-021-1/+4
* Added LedgerHarness.py, to simplify test creationJohn Wiegley2009-02-281-55/+23
* Normalize "dots" output from some of the testsJohn Wiegley2009-02-271-2/+2
* The -B, -G, -V reports now show rounding amountsJohn Wiegley2009-02-261-0/+148