In a previous DotNetSlackers article I explored preconditions. In this article, I'll focus on another aspects of Code Contracts - postconditions. Before going any further, though, let me briefly summarize some of the design choices the team made to expose the Code Contracts API. ...
Go to the complete details ...