{ "coverage_options": { "treat_no_relevant_lines_as_covered": true, "minimum_coverage": 88 }, "terminal_options": { "file_column_width": 120 } }