diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 15:50:20 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 15:50:20 -0700 |
| commit | 10876f2eb49891b6d58280b7d6d9121424e20727 (patch) | |
| tree | b2024b7d6434137b63658b90e984f9607bf08a29 /Test/dafny3 | |
| parent | 91654565e2a5a6f36c582fe0c5d0b7eaf57caa09 (diff) | |
runTests.py: Improve reports (show oldest thread) and fix colors on cygwin
The color fix is only partial. It's rather tricky to support all combinations of
cygwin/cmd and posix/nt Python. At the moment things work well everywhere with
native Python.
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions