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