Searched defs:result4 (Results 1 – 2 of 2) sorted by relevance
142 const model::test_result result4(model::test_result_failed, "Foo"); in ATF_TEST_CASE_BODY() local157 const model::test_result result4(model::test_result_failed, "Foo"); in ATF_TEST_CASE_BODY() local
6382 int16_t result4 = libcrux_secrets_int_as_i16_59( in libcrux_ml_kem_vector_portable_serialize_deserialize_1() local