public void NegativeEnsuresExists() {
int[] A = new int[] { -3, -4, -5 };
int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresExists(A, false);
}
public void NegativeEnsuresForAll() {
int[] A = new int[] { 3, -4, 5 };
int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresForAll(A, false);
}
public void PositiveEnsuresExists() {
int[] A = new int[] { -3, -4, 5 };
int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresExists(A, true);
}
public void PositiveEnsuresForAll() {
int[] A = new int[] { 3, 4, 5 };
int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresForAll(A, true);
}
