Searched refs:TestRepeat (Results 1 – 6 of 6) sorted by relevance
172 void TestRepeat(int repeat) { in TestRepeat() function234 TestRepeat(0); in main()235 TestRepeat(1); in main()236 TestRepeat(5); in main()
90 class TestRepeat(TestInvariantWithoutMutations): class240 TestRepeat,