Closed vetlewi closed 3 years ago
A not-so-pretty update to enable run statistics to be written to file at the end of the run.
A not-so-pretty update to enable run statistics to be written to file at the end of the run.