diff options
author | 2015-06-08 18:14:53 -0700 | |
---|---|---|
committer | 2015-06-08 18:14:53 -0700 | |
commit | 52b326d009545af9dbf44ec54e7ce9d610414517 (patch) | |
tree | 4cc0203adb411770c9d4ba4d3330dfa8aa61419c /Test/dafny0/NonGhostQuantifiers.dfy | |
parent | dd8117ebb70bdb1531a35eb47f490929a5c658fb (diff) |
Add the beginning of a new testing infrastructure
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!
Diffstat (limited to 'Test/dafny0/NonGhostQuantifiers.dfy')
0 files changed, 0 insertions, 0 deletions