tree 04de77aa52b73160854c0bbb9035af520102edf6
parent 15c2cbfed51f8d24b1c18a0eff4fa52415374a2f
author Gilles Peskine <Gilles.Peskine@arm.com> 1593103063 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1593188974 +0200

Check test case coverage

Check that every available test case in the test suites and ssl-opt.sh
has been executed at least once.

For the time being, only report a warning, because our coverage is
incomplete. Once we've updated all.sh to have full coverage, this
warning should become an error.

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