Contract.Requires usage

Question

Here is my problem. I am a very big fan of Design by contract, I am using this concept especially when developing libraries that can be used by other developers. I just foun

Answer 1

With a message like this it is usually helpful to specify exactly what you have done.

For example, you do not mention in the original message if you have installed the VS Addon, nor that you have enabled it under your project properties, or that you are actually running in debug vs release mode, etc.

Re Contract.Requires vs Contract.Requires

Contract.Requires is recommended. According to the manual

If your code must throw a particular exception on failure of a particular precondition, you can use the generic overloaded form below. (Please read Section 5.1 before committing to this form in your code. You cannot use Requires < Exn > without running the contract tools on all builds. If you do, you will get a runtime failure everytime.)