diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-12 13:53:03 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-12 13:53:03 -0700 |
| commit | 4977e01decc2823eda691acea9bbbe7e537c14dc (patch) | |
| tree | 93461a8517756494f744ea4d094eed4e71989737 /Test/dafny2/StoreAndRetrieve.dfy | |
| parent | 84cd85ffd3c722278eb22d0bf402caf0f717a150 (diff) | |
Dafny: beefed up allocation axioms for boxes stored in fields
Diffstat (limited to 'Test/dafny2/StoreAndRetrieve.dfy')
0 files changed, 0 insertions, 0 deletions