tree fcba0fe48351949707f1319e274f481c3874db82
parent a9478bab08f97400854c387fba3af8b7c958a225
author Gilles Peskine <Gilles.Peskine@arm.com> 1568921351 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1569345679 +0200

Better information messages for quick checks

Call them "check" rather than "test" to distinguish them from tests
that build and run code, and for consistency with the component names.