Searched refs:invariantFromPreLoop (Results 1 – 1 of 1) sorted by relevance
544 private static int invariantFromPreLoop(int[] x, int y) { in invariantFromPreLoop() method in Main801 expectEquals(55, invariantFromPreLoop(x, 1)); in main()