Gilles Peskine 7db8e89da1 Allow test assertions on constant-flow scalar data
When testing a function that is supposed to be constant-flow, we declare the
inputs as constant-flow secrets with TEST_CF_SECRET. The result of such a
function is itself a constant-flow secret, so it can't be tested with
comparison operators.

In TEST_EQUAL, TEST_LE_U and TEST_LE_S, declare the values to be compared as
public. This way, test code doesn't need to explicitly declare results as
public if they're only used by one of these macros.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2022-10-04 15:21:44 +02:00
..
drivers Test driver: keep variable declarations first 2022-02-04 09:14:39 -05:00
asn1_helpers.c Move asn1_skip_integer to the asn1_helpers module 2021-02-23 20:29:38 +01:00
fake_external_rng_for_test.c Fix wrong \file name in Doxygen comments 2021-02-23 20:29:38 +01:00
helpers.c Allow test assertions on constant-flow scalar data 2022-10-04 15:21:44 +02:00
psa_crypto_helpers.c Move psa_crypto_slot_management.h out from psa_crypto_helpers.h 2021-11-14 20:03:23 +01:00
psa_exercise_key.c Redo of PR#5345. Fixed spelling and typographical errors found by CodeSpell. 2022-04-28 18:22:20 +01:00
random.c Make the fallback behavior of mbedtls_test_rnd_buffer_rand optional 2021-06-02 21:31:24 +02:00
threading_helpers.c Explain the usage of is_valid in pthread mutexes 2021-02-22 19:24:03 +01:00