Searched refs:AllUGE (Results 1 – 1 of 1) sorted by relevance
317 bool AllUGE = true, NoneUGE = true; in TEST() local330 AllUGE &= N1.uge(N2); in TEST()364 EXPECT_EQ(AllUGE || NoneUGE, KnownUGE.has_value()); in TEST()375 EXPECT_EQ(AllUGE, KnownUGE.has_value() && KnownUGE.value()); in TEST()