index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
runTests.py
Commit message (
Expand
)
Author
Age
*
Interleave stderr output with test results; this allows one to print stuff
Clément Pit--Claudel
2015-08-21
*
Ignore flycheck_* files in runTests
Clément Pit--Claudel
2015-08-21
*
runTests: Accept tests one by one, even if they are given as a .lst file
Clément Pit--Claudel
2015-08-19
*
runTests: Include failed tests in mean completion time
Clément Pit--Claudel
2015-08-19
*
runTests: Report mean completion time of passed tests, excluding outliers
Clément Pit--Claudel
2015-08-18
*
runTests.py: Pretty-print stderr output to TRACE upon test failure
Clément Pit--Claudel
2015-08-12
*
Add tests for the server
Clément Pit--Claudel
2015-07-31
*
Merge
Clément Pit--Claudel
2015-07-28
|
\
*
|
Save failing tests to failing.lst, making it easy to re-run them
Clément Pit--Claudel
2015-07-28
|
/
*
Bump up the time limit in runTests.py and save a bit of space in output
Clément Pit--Claudel
2015-07-23
*
Let runTests.py generate expect files
Clément Pit--Claudel
2015-07-23
*
Small fix in runTests.py
Clément Pit--Claudel
2015-07-21
*
runTests.py: Improve reports (show oldest thread) and fix colors on cygwin
Clément Pit--Claudel
2015-07-20
*
Split snapshot tests into separate files and add support for %S in runTests.py
Clément Pit--Claudel
2015-07-20
*
Add missing .expect file
Clément Pit--Claudel
2015-07-20
*
Clean up runTests after 2015/07/17 meeting
Clément Pit--Claudel
2015-07-17
*
Small fix in runTests.py
Clément Pit--Claudel
2015-06-12
*
Add missing default parameter in runTests.py
Clément Pit--Claudel
2015-06-11
*
A few more improvements to runTests.py
Clément Pit--Claudel
2015-06-11
*
Small improvements to runTests.py
Clément Pit--Claudel
2015-06-10
*
Add the beginning of a new testing infrastructure
Clément Pit--Claudel
2015-06-08
Clément Pit--Claudel