mbedtls/tests/src
Gilles Peskine bdc7b8bb6a 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-09-30 18:51:41 +02:00
..
drivers Merge pull request #5292 from mprse/asym_encrypt 2022-03-10 20:07:38 +01:00
asn1_helpers.c Move asn1_skip_integer to the asn1_helpers module 2021-02-23 20:29:38 +01:00
certs.c Make legacy_or_psa.h public. 2022-09-16 12:02:48 +02: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-09-30 18:51:41 +02:00
psa_crypto_helpers.c Move psa_crypto_slot_management.h out from psa_crypto_helpers.h 2021-11-03 09:35:35 +01:00
psa_exercise_key.c Initilize variable 2022-07-01 15:06:34 +02:00
random.c Make the fallback behavior of mbedtls_test_rnd_buffer_rand optional 2021-06-03 18:10:04 +02:00
threading_helpers.c Explain the usage of is_valid in pthread mutexes 2021-02-22 19:24:03 +01:00