I improved the run_tests script so that it correctly generates coverage report.