diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-29 18:11:49 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-29 18:11:49 -0700 |
| commit | 4a522f9458decdf7865be79596788c50e9145faf (patch) | |
| tree | 3ee69980ad3fea1690997b57ba58b633ef74eabe /Util | |
| parent | 4f26cc2a956771717d21285d9bb527a0602c3e0a (diff) | |
Dafny: fixed bug in checking postconditions of functions that mention the result the function itself
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions