diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-09 19:22:07 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-09 19:22:07 -0800 |
| commit | 4ccc3c70255b59a835b099e962ba1d011696a682 (patch) | |
| tree | 7333d39696c061eeaf2238ec20ffce379b278421 /Test | |
| parent | 5174c7f2f12f3ecb5c9c050bf331756c3f757048 (diff) | |
Dafny: changed translation to be sensitive to refinement inheritance; this feature is now functional, provided the refining module does not add or change anything
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions