mirror of
https://github.com/cuberite/polarssl.git
synced 2025-10-18 12:47:21 -04:00

Exhaustivity check: ``` <tests/suites/test_suite_psa_crypto.data awk -F: '$1=="derive_input" { for (step=1; step<=3; step++) { if ($(4*step-1) == "0") { if ($(4*step) != "UNUSED" || $(4*step+1) != "\"\"" || $(4*step+2) != "UNUSED") print NR, step, $(4*step), $(4*step+1), $(4*step+2) } } }' ``` Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>