public void NegativeQuantifierTest1b() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; iq.CopyArray(A, false); }
public void NegativeQuantifierTest1b() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; Assert.Throws <TestRewriterMethods.PostconditionException>(() => iq.CopyArray(A, false)); }
public void NegativeQuantifierTest1a() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; iq.ModifyArray(A, 3, false); }
public void PositiveQuantifierTest1() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; iq.ModifyArray(A, 3, true); iq.CopyArray(A, true); }
public void NegativeQuantifierTest1b() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; iq.CopyArray(A, false); }
public void NegativeQuantifierTest1a() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; iq.ModifyArray(A, 3, false); }
public void PositiveQuantifierTest1() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; iq.ModifyArray(A, 3, true); iq.CopyArray(A, true); }
public void NegativeQuantifierTest1b() { IQuantifierTest1 iq = new QuantifierTest1(); int[] A = new int[] { 3, 4, 5 }; Assert.Throws<TestRewriterMethods.PostconditionException>(() => iq.CopyArray(A, false)); }