diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-09 17:27:36 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-09 17:27:36 -0800 |
| commit | 83e13f515b7d9f89a96c670d34b9576b61edb894 (patch) | |
| tree | 2ac714bc509cf9940fc96cd8830222c16097864a /Test/dafny0/BadFunction.dfy | |
| parent | d9bdc81cd145329fadacc779255e0faf4b935bd5 (diff) | |
Dafny: added assert/assume expressions
Diffstat (limited to 'Test/dafny0/BadFunction.dfy')
0 files changed, 0 insertions, 0 deletions