smarr / ReBench

Execute and document benchmarks reproducibly.
MIT License
85 stars 24 forks source link

Ensure there's only a single CSV header written into the data file #227

Closed smarr closed 1 year ago

smarr commented 1 year ago

This fixes #223.

We assume that we only need to write a CSV header into an empty file. Thus, we can check whether the file already contains data. If that's the case, we only write the metadata, but not the CSV header.

This PR also includes two other minor bits:

@naomiGrew please have a look, and review the PR

coveralls commented 1 year ago

Coverage Status

coverage: 83.079% (+0.05%) from 83.034% when pulling feebeb611f4409ebcba065a60e3393281a69159b on single-csv-header-per-file into cd302d5155c73575c2b158034afcde07d2403c6d on master.