tree 1afcef01f2c3a22f7e52db634d92f5a6c722c40d
parent 2cecd8aaadd1cdb0392b29741eb23fb6f647ee0d
author Gilles Peskine <Gilles.Peskine@arm.com> 1645725488 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1647365530 +0100

Simplify key_for_usage_flags

Generate "with implication" and "without implication" usage test cases
separately.

The set of generated test cases is unchanged. The order, and the description
of "with implication" test cases, changes.

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