These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Jul 15 2015 22:01
I changed my mind on the comment in
. I didn't realize it would be so long until I typed it out.
However, I do prefer "requires/ensures" to "pres/posts"