run_with_coverage
