public void NegativeIgnoreRuntimeAttributeTest() { try { var c = new CodeUnderTest.IgnoreRuntimeAttributeTest.C(); c.M(2, false); throw new Exception("Expected failure did not happen"); } catch (TestRewriterMethods.PostconditionException p) { Assert.AreEqual(": Contract.Result<bool>()", p.Message); } }
public void PositiveIgnoreRuntimeAttributeTest() { var c = new CodeUnderTest.IgnoreRuntimeAttributeTest.C(); c.M(3, true); }