@Test public void test_while_multiple_iterations() { runTest(new TestWhileLoop<>(10, Arrays.asList(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)), new TestParameters()); } }
@Test public void test_while_no_iteration() { runTest(new TestWhileLoop<>(0, Collections.emptyList()), new TestParameters()); }
@Test public void test_while_single_iteration() { runTest(new TestWhileLoop<>(1, Collections.singletonList(0)), new TestParameters()); }