summaryrefslogtreecommitdiff
path: root/Test/dafny0/Inverses.dfy.expect
Commit message (Expand)AuthorAge
* Invert LHS sub-expressions in forall assignment statements, which gives the o...Gravatar Rustan Leino2014-06-24