diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-05 22:11:09 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-05 22:11:09 -0700 |
| commit | 3feed5acae37f5cfcbb6b25d25117d70faa3e430 (patch) | |
| tree | a2002813e9d362a085d1f57ab061f754b66490f6 /Test/dafny0/NonGhostQuantifiers.dfy | |
| parent | bbfefea4f221c0be1b295ba1c5ee622fda9ec0d0 (diff) | |
improved and fixed compilation and resolution of assign-such-that statements
Diffstat (limited to 'Test/dafny0/NonGhostQuantifiers.dfy')
0 files changed, 0 insertions, 0 deletions