Searched refs:TestRepeat (Results 1 – 4 of 4) sorted by relevance
155 void TestRepeat(int repeat) { in TestRepeat() function214 TestRepeat(0); in main()215 TestRepeat(1); in main()216 TestRepeat(5); in main()
90 class TestRepeat(TestInvariantWithoutMutations): class240 TestRepeat,
79 class TestRepeat(TestInvariantWithoutMutations, unittest.TestCase): class