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