using System; using System.Diagnostics.Contracts; [ContractVerification(true)] public class Program { // this method should return the absolute value of i, // can you fix it? // Ask Pex or the Code Contracts Verifier to spot issues public static int Puzzle(int i) { Contract.Ensures(Contract.Result<int>() >= 0); return i; } }