public void NegativeInheritedInv() { var u = new CodeUnderTest.ThomasPani.U(); try { u.SetToValidValue(false); throw new Exception(); } catch (TestRewriterMethods.InvariantException e) { Assert.AreEqual("i > 0", e.Condition); } }
public void NegativeInheritedInv() { var u = new CodeUnderTest.ThomasPani.U(); try { u.SetToValidValue(false); throw new Exception(); } catch (TestRewriterMethods.InvariantException e) { Assert.AreEqual("i > 0", e.Condition); } }
public void PositiveInheritedInv() { var u = new CodeUnderTest.ThomasPani.U(); u.SetToValidValue(true); }
public void PositiveInheritedInv() { var u = new CodeUnderTest.ThomasPani.U(); u.SetToValidValue(true); }