Searched refs:result4 (Results 1 – 3 of 3) sorted by relevance
142 const model::test_result result4(model::test_result_failed, "Foo"); in ATF_TEST_CASE_BODY() local147 ATF_REQUIRE(!(result1 == result4)); in ATF_TEST_CASE_BODY()157 const model::test_result result4(model::test_result_failed, "Foo"); in ATF_TEST_CASE_BODY() local162 ATF_REQUIRE( result1 != result4); in ATF_TEST_CASE_BODY()
32 my $result4 = 'We will put value of $v (which is "good") here -> good';34 is $text, $result4;
6382 int16_t result4 = libcrux_secrets_int_as_i16_59( in libcrux_ml_kem_vector_portable_serialize_deserialize_1() local6419 .elements = {result0, result1, result2, result3, result4, result5, in libcrux_ml_kem_vector_portable_serialize_deserialize_1()