| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Let runTests.py generate expect files |  Clément Pit--Claudel | 2015-07-23 |
| | | | | | That is, missing expect files now raise a warning, not an error. | ||
| * | 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 |
| runTests.py reads lit-style annotations, so we will be able to retain lit compatibility. This new framework adds: * Precise timings * Proper support for interrupting using Ctrl+C * Much better reporting (including tracking of error codes, and merging of successive reports for performance tracking) * No dependency on lit, OutputCheck, or Diff * Pretty colors! | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |