Save coverage data to a file

Last modified: 07 September 2023