public void FailInvariant2() { var c = new CodeUnderTest.ReEntrantInvariantTest.ClassWithInvariant(); try { c.FailInvariant2(); throw new Exception("Expected failure did not happen"); } catch (TestRewriterMethods.InvariantException e) { Assert.AreEqual("PureMethod()", e.Condition); } }
public void TestReenterInvariant() { var c = new CodeUnderTest.ReEntrantInvariantTest.ClassWithInvariant(); c.ReEnter(); }