Lines Matching refs:checkInvariants
62 ASSERT_TRUE(tree.checkInvariants());
70 ASSERT_TRUE(tree.checkInvariants());
73 ASSERT_TRUE(tree.checkInvariants());
76 ASSERT_TRUE(tree.checkInvariants());
86 ASSERT_TRUE(tree.checkInvariants());
88 ASSERT_TRUE(tree.checkInvariants());
90 ASSERT_TRUE(tree.checkInvariants());
99 ASSERT_TRUE(tree.checkInvariants());
102 ASSERT_TRUE(tree.checkInvariants());
110 ASSERT_TRUE(tree.checkInvariants());
113 ASSERT_TRUE(tree.checkInvariants());
116 ASSERT_TRUE(tree.checkInvariants());
121 ASSERT_TRUE(tree.checkInvariants());
126 ASSERT_TRUE(tree.checkInvariants());
137 ASSERT_TRUE(tree.checkInvariants());
139 ASSERT_TRUE(tree.checkInvariants());
141 ASSERT_TRUE(tree.checkInvariants());
145 ASSERT_TRUE(tree.checkInvariants());
147 ASSERT_TRUE(tree.checkInvariants());
151 ASSERT_TRUE(tree.checkInvariants());
161 ASSERT_TRUE(tree.checkInvariants());
163 ASSERT_TRUE(tree.checkInvariants());
165 ASSERT_TRUE(tree.checkInvariants());
167 ASSERT_TRUE(tree.checkInvariants());
169 ASSERT_TRUE(tree.checkInvariants());
183 ASSERT_TRUE(tree.checkInvariants()) << "Test failed for seed " << seed;
193 ASSERT_TRUE(tree.checkInvariants()) << "Test failed for seed " << seed;
198 ASSERT_TRUE(tree.checkInvariants()) << "Test failed for seed " << seed;
