Lines Matching refs:result
123 mbedtls_mpi_uint *result = NULL;
129 TEST_CALLOC(result, limbs);
132 mbedtls_mpi_core_random(result, min, upper_bound, limbs,
136 TEST_EQUAL(0, mbedtls_mpi_core_lt_ct(result, lower_bound, limbs));
137 TEST_ASSERT(0 != mbedtls_mpi_core_lt_ct(result, upper_bound, limbs));
143 mbedtls_free(result);
278 mbedtls_mpi_uint *result = NULL;
290 TEST_CALLOC(result, limbs);
309 TEST_EQUAL(0, mbedtls_mpi_core_random(result,
316 mbedtls_mpi R = { .s = 1, .n = limbs, .p = result };
350 /* Assert that each bit has been set in at least one result and
351 * clear in at least one result. Provided that iterations is not
368 mbedtls_free(result);
377 mbedtls_mpi result;
380 mbedtls_mpi_init(&result);
383 /* Set result to sign(before) * 2^(|before|-1) */
384 TEST_ASSERT(mbedtls_mpi_lset(&result, before > 0 ? 1 : -1) == 0);
388 TEST_ASSERT(mbedtls_mpi_shift_l(&result, before - 1) == 0);
391 TEST_EQUAL(0, mbedtls_mpi_grow(&result, nlimbs));
394 TEST_EQUAL(0, mbedtls_mpi_random(&result, min, &upper_bound,
396 TEST_ASSERT(sign_is_valid(&result));
397 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&result, &upper_bound) < 0);
398 TEST_ASSERT(mbedtls_mpi_cmp_int(&result, min) >= 0);
402 mbedtls_mpi_free(&result);
422 mbedtls_mpi_mod_residue result = { result_digits, result_limbs };
424 TEST_EQUAL(mbedtls_mpi_mod_random(&result, min, &N,
428 /* Success should only be expected when the result has the same
431 /* Sanity check: check that the result is in range */
433 /* Check result >= min (changes result) */
439 /* When the result has the right number of limbs, also test mod_raw
447 TEST_EQUAL(mbedtls_mpi_core_sub_int(result_digits, result.p, min,
463 mbedtls_mpi result;
467 mbedtls_mpi_init(&result);
471 actual_ret = mbedtls_mpi_random(&result, min, &upper_bound,
477 mbedtls_mpi_free(&result);