tree 6737eb4b9ef09d4c21153fa43473489bc2c648f3
parent fc70b5252b8cb089c7e5922cc7aa963831d40c17
author Gilles Peskine <Gilles.Peskine@arm.com> 1626944199 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626944199 +0200

Explain the final error checking

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