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