Searched refs:x2_size (Results 1 – 2 of 2) sorted by relevance
35 mp_size_t x2_size; in main() local61 x2_size = mpz_get_ui (bs); in main()62 mpz_rrandomb (x2, rands, x2_size); in main()
99 mp_size_t x2_size; in main() local128 x2_size = mpz_get_ui (bs) + 10; in main()129 mpz_rrandomb (x2, rands, x2_size); in main()