tree ec99c05f3a9937cbeda41d761225782a5305b070
parent bbced87390b823ac5c6a8d28b0f7b4333f105d37
author Gilles Peskine <Gilles.Peskine@arm.com> 1626211621 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626211621 +0200

Save the coverage report to a file

Save the "Test Report Summary" to a file. This can help both CI scripts and
human readers who want the summary after the fact without having to copy the
console output.

Take care to exit with a nonzero status if there is a failure while
generating the test report summary.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>