put coverage_verify back