diff options
| author |  Jason Koenig <unknown> | 2012-07-29 13:29:41 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-29 13:29:41 -0700 |
| commit | 07cc86c1de92e885393058a24e1cbbb9301c0715 (patch) | |
| tree | 7666d51016437ebd2d822f314f07ed1499d2bfd7 /Test/dafny2 | |
| parent | 310521db71e18305b04f6a32ab753c87e30bfa19 (diff) | |
Dafny: removed allocated, changed semantics of fresh
-allocated(x) removed, as really only useful in old(...)
-old(allocated(x)) and !fresh(x) are equivalent (for x with type ref, set, sequence, and datatype).
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions