Code Contracts #4: modelling implications

2 Kicks

submitted by MatthiasJ(446) 3 years, 1 month ago

Shows how to model implications of the form "If you give me X, then I give you Y" (X => Y) as post-conditions with Code Contracts.

add a comment |category: CLR |Views: 7
Tweet

Please login or signup.

Add a live kick counter to your blog >> liveImage

You can even customize the image by choosing your own colors, and then clicking the button below to update the preview and the html code:

Simply copy and paste this HTML into your blog post.

Users who kicked this story:

Comments:

No comments so far

What's this?