Пример #1
0
 public void NegativeEnsuresExists() {
   int[] A = new int[] { -3, -4, -5 };
   int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresExists(A, false);
 }
Пример #2
0
 public void NegativeEnsuresForAll() {
   int[] A = new int[] { 3, -4, 5 };
   int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresForAll(A, false);
 }
Пример #3
0
 public void PositiveEnsuresExists() {
   int[] A = new int[] { -3, -4, 5 };
   int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresExists(A, true);
 }
Пример #4
0
 public void PositiveEnsuresForAll() {
   int[] A = new int[] { 3, 4, 5 };
   int[] B = new CodeUnderTest.RewrittenContractTest().EnsuresForAll(A, true);
 }