diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 10:11:08 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 10:11:08 -0700 |
| commit | fcf9093f269b924555780e60fe05e4eff9de1cf4 (patch) | |
| tree | 2acc17594cdde0cde72eed698a2afb95835855d8 /Source/Dafny/DafnyOptions.cs | |
| parent | 6a24e8c90ac467678dbf9aeb0d16c3d36c2dcf44 (diff) | |
runTests: Include failed tests in mean completion time
Diffstat (limited to 'Source/Dafny/DafnyOptions.cs')
0 files changed, 0 insertions, 0 deletions