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();
}
