Searched defs:WTO (Results 1 – 3 of 3) sorted by relevance
281 ASSERT_TRUE(WTO); in TEST() local
388 std::optional<WeakTopologicalOrdering> WTO = getIntervalWTO(*Result.getCFG()); in TEST() local
233 WTOCompare::WTOCompare(const WeakTopologicalOrdering &WTO) { in WTOCompare() argument