tree e2c65846fed0b807b814e0210fb13c7f40e31d0b
parent f81b2a14f22ae82750764bab66157b653af6bf81
author Dave Rodgman <dave.rodgman@arm.com> 1695320579 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1695320579 +0100

Improve testing for mbedtls_ct_int_if

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>