Searched refs:seen_matcher (Results 1 – 1 of 1) sorted by relevance
6251 std::vector<bool> seen_matcher(graph.RhsSize()); in TEST() local6258 EXPECT_FALSE(seen_matcher[irhs]); in TEST()6260 seen_matcher[irhs] = true; in TEST()