Lines Matching refs:BV1
41 UBitVec BV1(Alloc); in TEST() local
44 BV1.set(0); in TEST()
45 EXPECT_TRUE(BV1.test(0)); in TEST()
46 EXPECT_FALSE(BV1.test(1)); in TEST()
48 BV2.set(BV1); in TEST()
74 UBitVec BV1(Alloc); in TEST() local
75 BV1.set(0); in TEST()
76 UBitVec BV2 = BV1; in TEST()
77 EXPECT_TRUE(elementsMatch(BV1, {0})); in TEST()
80 BV2 = BV1; in TEST()
81 EXPECT_TRUE(elementsMatch(BV1, {0})); in TEST()
161 UBitVec BV1(Alloc); in TEST() local
165 BV1.set({1, 2, 3}); in TEST()
167 EXPECT_EQ(BV1, BV2); in TEST()
168 EXPECT_FALSE(BV1 != BV2); in TEST()
171 BV1.clear(); in TEST()
173 BV1.set({1, 2, 3}); in TEST()
174 EXPECT_NE(BV1, BV2); in TEST()
177 BV1.clear(); in TEST()
179 BV1.set({1, 2, 11, 12}); in TEST()
181 EXPECT_EQ(BV1, BV2); in TEST()
183 EXPECT_NE(BV1, BV2); in TEST()
186 EXPECT_NE(BV1, BV2); in TEST()
206 UBitVec BV1(Alloc); in TEST() local
207 BV1.set(LHS); in TEST()
211 simpleUnion(DoubleCheckedExpected, BV1, BV2); in TEST()
213 BV1 |= BV2; in TEST()
214 ASSERT_TRUE(elementsMatch(BV1, Expected)); in TEST()
298 UBitVec BV1(Alloc); in TEST() local
299 BV1.set(LHS); in TEST()
303 simpleIntersection(DoubleCheckedExpected, BV1, BV2); in TEST()
305 BV1 &= BV2; in TEST()
306 ASSERT_TRUE(elementsMatch(BV1, Expected)); in TEST()
377 UBitVec BV1(Alloc); in TEST() local
378 BV1.set(LHS); in TEST()
382 simpleIntersectionWithComplement(DoubleCheckedExpected, BV1, BV2); in TEST()
384 BV1.intersectWithComplement(BV2); in TEST()
385 ASSERT_TRUE(elementsMatch(BV1, Expected)); in TEST()