tree 702cdfe4c6f20e1d5d2f8680d0e23ade726057ac
parent 342147a8a8880557fc028b2790a54a926e10fd94
author Gilles Peskine <Gilles.Peskine@arm.com> 1634654135 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1634808340 +0200

Move the core loop of run_test into an auxiliary function

No behavior change.

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