diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-04 18:56:25 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 18:56:25 -0700 |
| commit | 0a76a9953bd35663e20cc197ae5247a25cadc4bd (patch) | |
| tree | f90a2f242899adc3e98e324fc25451f7e1a79468 /Test/dafny0 | |
| parent | 5441447b52d9850683679c1dc7aa675d8ddc2927 (diff) | |
More free antecedents when proving well-formedness of iterator specs
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions