summaryrefslogtreecommitdiff
path: root/Test/dafny0/ProtectedResolution.dfy.expect
Commit message (Expand)AuthorAge
* This changeset changes the default visibility of a function/predicate body ou...Gravatar leino2015-03-09