Building with Code Contracts?

Question

I have the following method:

private void DoSomething(CoolClass coolClass)
{
    if (coolClass == null)
    {
        throw new ArgumentNullException(\"coolC         


        

Answer 1

By changing following project properties I could eliminate getting this exception while running.

Right click on project -> Properties -> Code Contract (Tab) change the assembley mode to "Standard Contract Requires" also select checkbox - Perform Runtime contract checking