Searched refs:AllSLT (Results 1 – 1 of 1) sorted by relevance
322 bool AllSLT = true, NoneSLT = true; in TEST() local335 AllSLT &= N1.slt(N2); in TEST()369 EXPECT_EQ(AllSLT || NoneSLT, KnownSLT.has_value()); in TEST()380 EXPECT_EQ(AllSLT, KnownSLT.has_value() && KnownSLT.value()); in TEST()