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 | 7ca1c590659d2c11a67b138b8251cf5dffc03b38 (patch) | |
| tree | 0c7f17bef9ca346312468d1901729026923995c9 /BCT | |
| parent | 03b24df6c2fa4217f74d3cc76785ab6babbe6f2f (diff) | |
Dafny: added alternative statement and alternative-loop statement
Diffstat (limited to 'BCT')
0 files changed, 0 insertions, 0 deletions