Searched refs:AllSLE (Results 1 – 1 of 1) sorted by relevance
323 bool AllSLE = true, NoneSLE = true; in TEST() local336 AllSLE &= N1.sle(N2); in TEST()370 EXPECT_EQ(AllSLE || NoneSLE, KnownSLE.has_value()); in TEST()381 EXPECT_EQ(AllSLE, KnownSLE.has_value() && KnownSLE.value()); in TEST()