diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-19 17:29:04 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-19 17:29:04 -0700 |
| commit | 8d353c7dca06d1121a3751efbb4a85721d81b2dd (patch) | |
| tree | 8e012e0061ed05abdb1e4bde162c66b950fe8aab /Test/VSI-Benchmarks | |
| parent | 7992533629faca61ea8a3761b2ee21fd6f27ac18 (diff) | |
Dafny: added alternative statement and alternative-loop statement
Diffstat (limited to 'Test/VSI-Benchmarks')
0 files changed, 0 insertions, 0 deletions