Example: Controlling randomizer using code contracts

added by gpeipman
5/2/2010 7:25:33 AM

0 Kicks, 46 Views

One cool addition to Visual Studio 2010 is support for code contracts. Code contracts make sure that all conditions under what method is supposed to run correctly are met. Those who are familiar with unit tests will find code contracts easy to use. In this posting I will show you simple example about static contract checking (example solution is included).