tree 0a096e7223bac0da7edf69e460ecba50f6381534
parent dd7ea389ffe2e7afc5e85ce9c2aa2b1b0d05f7f1
author Gilles Peskine <Gilles.Peskine@arm.com> 1586449782 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1590691654 +0200

Note that we keep going even if some tests fail

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