RUN_COVERAGE: bool