Files
marte-debug/run_coverage.sh