tree 150454b5bd9c54f36aca2b601aff7ff8ee523e12
parent 5dd5a491dab7c344621a46d68b58d347ed224074
author Gilles Peskine <Gilles.Peskine@arm.com> 1596722735 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1596726723 +0200

Add the decomposition of the base case as a comment

Put the base good case first, then the bad cases derived from it.

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