diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-10 16:13:03 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-10 16:13:03 -0700 |
commit | bef7f2ff0dbe833b157970efa16b12086776ef70 (patch) | |
tree | 78b2b8f6da0f312a72c60e3cfb9dd4ffa9a4e00f /Binaries | |
parent | 68d57324e25c44f022e55bbc55fffd4e22842928 (diff) |
Dafny: improved checking of inherited postconditions (in refinements)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions