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 /Dafny/Parser.cs | |
parent | 4f26cc2a956771717d21285d9bb527a0602c3e0a (diff) |
Dafny: fixed bug in checking postconditions of functions that mention the result the function itself
Diffstat (limited to 'Dafny/Parser.cs')
0 files changed, 0 insertions, 0 deletions