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 { }
}
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 { }
}
