Esempio n. 1
0
 public void IteratorNegativePostElemLTMax() {
   var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
   int[] xs = { 2, 3, 4, 9 };
   test2.Test1f(xs, 10);
 }