tree aa7b3f30c423e9f11bd921d5cb65b6500a8fc9c2
parent 1ae57ec203a3abcecf6dd146743826d6ac26f25f
author Gilles Peskine <Gilles.Peskine@arm.com> 1712765522 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1712865654 +0200

PSA test case generation: dependency inference class: operation fail

Use psa_information.TestCase for operation failure test cases.

This changes the generated output in two ways:

* Not-implemented mechanisms now have a `DEPENDENCY_NOT_IMPLEMENTED_YET_xxx`
  dependency in addition to the never-fulfilled `PSA_WANT_xxx` dependency.
  This does not affect when test cases run.
* ECC test cases now have correct dependency symbols, e.g.
  `PSA_WANT_ECC_SECP_R1_192` instead of `PSA_WANT_ECC_FAMILY_SECP_R1`. This
  is a bug fix: ECC test cases were formerly never executed because of
  incorrect dependency symbols.

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