diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 16:15:47 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 16:15:47 -0700 |
| commit | e5f9a4cbf74f7794ad13b2a5bd831fd54c20629c (patch) | |
| tree | d79804a79886a7cc465cf859337ff27937eb3bec /Test/dafny0 | |
| parent | 43cbd76e07262d05434e36dff99f8d10eb59a773 (diff) | |
runTests: Accept tests one by one, even if they are given as a .lst file
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions