diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-10-26 16:52:40 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-10-26 16:52:40 -0700 |
| commit | 3d2bdaf737810142e8685296813562e7e29c9952 (patch) | |
| tree | f21e06c22006cc81bf2defc87e824019b3a79e19 /Test/dafny0/NonGhostQuantifiers.dfy | |
| parent | b9fba0c917f1a5489e92af4c0ef61130329ba123 (diff) | |
BVD: fixed two basic but damning problems with the Dafny provider, and elided some temporary variables
Diffstat (limited to 'Test/dafny0/NonGhostQuantifiers.dfy')
0 files changed, 0 insertions, 0 deletions