[html]
directory = coverage

[run]
data_file = .coverage_$LOCAL_RANK