tree bea6c95ce97a0b3e38ed75d92b381ab17c920dfd
parent 6d6ee98c140e70fb8b07301e270081eb1fe91d13
author Gilles Peskine <Gilles.Peskine@arm.com> 1586449782 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586511000 +0200

Note that we keep going even if some tests fail

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