diff options
| author |  MichalMoskal <unknown> | 2011-02-18 22:06:06 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-18 22:06:06 +0000 |
| commit | c8c1a544f3db9fd581ab3d84dbdb149dd2d933df (patch) | |
| tree | 4c2c56f1e139c767b474fcbe3857b6206ee2194a /Test/test21 | |
| parent | 9f2b3b64b05d69603ddb222a62b9ed24e4496dab (diff) | |
Run dafny and boogie tests by default
Diffstat (limited to 'Test/test21')
0 files changed, 0 insertions, 0 deletions