public void runTest() { Console.WriteLine("Contract_class\\InvariantTest.cs"); try { Console.WriteLine("Assembly compiled with no flags"); Invariant_NoFlags test1 = new Invariant_NoFlags(); VerifyPass("001 CheckInvariant(true)", delegate { test1.CheckInvariant(true); }); VerifyPass("002 CheckInvariant(false)", delegate { test1.CheckInvariant(false); }); VerifyPass("003 CheckInvariantString(true)", delegate { test1.CheckInvariantString(true); }); VerifyPass("004 CheckInvariantString(false)", delegate { test1.CheckInvariantString(false); }); VerifyPass("005 CallContractInvariantMethod()", delegate { test1.CallContractInvariantMethod(); }); VerifyPass("006 CheckInvariant(false), SetHandled", delegate { test1.CheckInvariant(false); }); VerifyPass("007 CheckInvariantString(false), SetHandled", delegate { test1.CheckInvariantString(false); }); } finally { } }