Home
last modified time | relevance | path

Searched refs:invariantFromPreLoop (Results 1 – 1 of 1) sorted by relevance

/art/test/530-checker-loops1/src/
DMain.java544 private static int invariantFromPreLoop(int[] x, int y) { in invariantFromPreLoop() method in Main
801 expectEquals(55, invariantFromPreLoop(x, 1)); in main()