Searched refs:is_successful (Results 1 – 1 of 1) sorted by relevance
331 const auto is_successful = module->IsSlotMarkedSuccessful(current_slot); in update_verifier() local332 if (!is_successful.has_value()) { in update_verifier()336 << ": isSlotMarkedSuccessful=" << is_successful.value(); in update_verifier()338 if (is_successful.has_value() && !is_successful.value()) { in update_verifier()