diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-21 22:06:25 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-21 22:06:25 -0700 |
| commit | 066cd4f2a054dd9acfa917ab0d89eed7d9b36d92 (patch) | |
| tree | def5fc8149bf617c0e75c3cc4c2415dfd4a624c3 /Test/dafny3 | |
| parent | 41ad2e0dbb6283acf5edfbcbef8bdf3f2b045998 (diff) | |
combine {:autocontracts} and refinement
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions