Lines Matching refs:bs
136 mpz_t bs; in check_random() local
142 mpz_init (bs); in check_random()
152 mini_urandomb (bs, 32); in check_random()
153 size_range = mpz_get_ui (bs) % 13 + 1; /* 0..8192 bit operands */ in check_random()
155 mini_urandomb (bs, size_range); in check_random()
156 size = mpz_get_ui (bs); in check_random()
159 mini_urandomb (bs, 32); in check_random()
160 size_range = mpz_get_ui (bs) % 13 + 1; /* 0..8192 bit operands */ in check_random()
162 mini_urandomb (bs, size_range); in check_random()
163 size = mpz_get_ui (bs); in check_random()
168 mini_urandomb (bs, 32); in check_random()
169 size_range = mpz_get_ui (bs) % 13 + 1; /* 0..8192 bit operands */ in check_random()
171 mini_urandomb (bs, size_range); in check_random()
172 size = mpz_get_ui (bs); in check_random()
177 mini_urandomb (bs, 3); in check_random()
178 if (mpz_tstbit (bs, 0)) in check_random()
180 if (mpz_tstbit (bs, 1)) in check_random()
182 if (mpz_tstbit (bs, 2)) in check_random()
197 mpz_clear (bs); in check_random()