Searched refs:NoneULT (Results 1 – 1 of 1) sorted by relevance
318 bool AllULT = true, NoneULT = true; in TEST() local341 NoneULT &= !N1.ult(N2); in TEST()365 EXPECT_EQ(AllULT || NoneULT, KnownULT.has_value()); in TEST()387 EXPECT_EQ(NoneULT, KnownULT.has_value() && !KnownULT.value()); in TEST()