public void NegativeInheritOldInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
o.InheritOldInQuantifier(A, false);
}
public void NegativeInheritOldInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.InheritOldInQuantifier(A, false));
}
public void NegativeInheritOldInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
o.InheritOldInQuantifier(A, false);
}
public void NegativeInheritOldInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritOldInQuantifier(A, false));
}