Searched refs:reset_egraph_stats (Results 1 – 1 of 1) sorted by relevance
920 static inline void reset_egraph_stats(egraph_stats_t *s) { in reset_egraph_stats() function4601 reset_egraph_stats(&egraph->stats); in egraph_reset()