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