public void PositiveInheritResultInContract() { DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult(); o.InheritResult(3, true); }
public void NegativeInheritResultInContract() { DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult(); o.InheritResult(3, false); }
public void NegativeInheritResultInContract() { DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult(); Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritResult(3, false)); }