tree 0bc0ece137f04f98f8c6a7b4d4b0864ba506df5c
parent 2058c077244f95c658fff324c6de6191b90a48a3
author Gilles Peskine <Gilles.Peskine@arm.com> 1569339907 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1569343143 +0200

derive_input test function: Try output afterwards

After passing some inputs, try getting one byte of output, just to
check that this succeeds (for a valid sequence of inputs) or fails
with BAD_STATE (for an invalid sequence of inputs). Either output a
1-byte key or a 1-byte buffer depending on the test data.

The test data was expanded as follows:
* Output key type (or not a key): same as the SECRET input if success
  is expected, otherwise NONE.
* Expected status: PSA_SUCCESS after valid inputs, BAD_STATE after any
  invalid input.