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