Czytam o Code Contracts, które na pierwszy rzut oka wydają się dość rewolucyjne, ale nie mogę ich zmusić do działania. Używam systemu Windows 8 i Visual Studio 2012 Premium (wersje Release obu). Następnie zainstalowałem Kontrakty kodu ztutaj klikając link Pobierz kod kontraktów.

Następnie napisałem następujący kod w zupełnie nowej aplikacji konsoli:

class Program
{
   static void Main(string[] args)
   {
      var answer = Add(0, 5);
      Console.Write(answer);

      Console.ReadLine();
   }

   static int Add(int x, int y)
   {
      Contract.Requires(x > 0 && y > 0);

      return x + y;
   }
}

Spodziewam się, że kompilacja się nie powiedzie, ponieważ pierwszy parametrAdd wynosi 0, ale program powiedzie się i wydrukuje 5 na konsoli.

Próbowałem z domyślnymi ustawieniami kontraktu kodu, a także trochę pomyłkowo z rzeczami. Moje obecne ustawienia wyglądają tak:

Jakieś pomysły, co robię źle?

AKTUALIZACJA:

Oto wyniki z okna Build. Wygląda na to, że coś robi, ale po prostu podnosi ostrzeżenia zamiast błędów. W filmie, który oglądałem, te rzeczy zostały oznaczone jako błędy kompilacji, a program nawet nie działał.

1>------ Build started: Project: DeleteMe, Configuration: Debug Any CPU ------
1>  DeleteMe -> c:\users\mike\documents\visual studio 2012\Projects\DeleteMe\DeleteMe\bin\Debug\DeleteMe.exe
1>  CodeContracts: Task manager is unavailable.
1>  CodeContracts: DeleteMe: Run static contract analysis.
1>  CodeContracts: Suggested requires: Contract.Requires(false);
1>  CodeContracts: DeleteMe: Validated:  0.0 %
1>  CodeContracts: DeleteMe: Contract density: 0.87
1>  CodeContracts: DeleteMe: Total methods analyzed 4
1>  CodeContracts: DeleteMe: Methods with 0 warnings 3
1>  CodeContracts: DeleteMe: Total time 4.974sec. 1243ms/method
1>  CodeContracts: DeleteMe: Methods with necessary preconditions: 1
1>  CodeContracts: DeleteMe: Discovered 1 new candidate preconditions in 00:00:00.1718843
1>  CodeContracts: DeleteMe: Retained 1 preconditions after filtering
1>  CodeContracts: DeleteMe: Inferred 0 object invariants
1>  CodeContracts: DeleteMe: Retained 0 object invariants after filtering
1>  CodeContracts: DeleteMe: Detected 0 code fixes
1>  CodeContracts: DeleteMe: Proof obligations with a code fix: 0
1>c:\Users\Mike\Documents\Visual Studio 2012\Projects\DeleteMe\DeleteMe\Program.cs(14,10,14,33): warning : CodeContracts: requires is false: x > 0 && y > 0
1>c:\Users\Mike\Documents\Visual Studio 2012\Projects\DeleteMe\DeleteMe\Program.cs(22,10,22,44): warning : CodeContracts: location related to previous warning
1>  CodeContracts: Checked 1 assertion: 1 false
1>  CodeContracts: DeleteMe: 
1>  CodeContracts: DeleteMe: Static contract analysis done.
========== Build: 1 succeeded, 0 failed, 0 up-to-date, 0 skipped ==========