save the output of the .coverage target