Searched refs:NotX2 (Results 1 – 1 of 1) sorted by relevance
85 auto &NotX2 = Context.getOrCreateNegation(X); in TEST_F() local86 EXPECT_EQ(&NotX1, &NotX2); in TEST_F()