summaryrefslogtreecommitdiff
path: root/Util/Code Snippets/contractinvnonnullelem.snippet
Commit message (Expand)AuthorAge
* Boogie/Dafny: Boogie and Dafny's conversion to C# and Code Contracts does not...Gravatar tabarbe2010-07-30