Save coverage data to a file

Last modified: 21 June 2023