tree 6312421b2b787e3e33f647da3c70564bf5d215b9
parent fb4c3fe4eab7248c8922de99802a5df5fae36ce8
author Gilles Peskine <Gilles.Peskine@arm.com> 1682708926 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1682720914 +0200

MBEDTLS_PSA_INJECT_ENTROPY: check the lifecycle of the seed file

The seed file is part of the stable interface of PSA_CRYPTO_INJECT_ENTROPY,
because it has to survive a library upgrade on a device. So check that its
existence and content are as expected at each point in the tested life cycle.

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