Searched refs:invariant_checker (Results 1 – 1 of 1) sorted by relevance
37 for (auto& invariant_checker : invariant_checkers_) { in RunInvariantCheckers() local38 VLOG(1) << " Invariant checker " << invariant_checker->name(); in RunInvariantCheckers()39 StatusOr<bool> changed_status = RunHelper(invariant_checker.get(), hlo); in RunInvariantCheckers()40 VLOG(1) << " Invariant checker done " << invariant_checker->name(); in RunInvariantCheckers()