Searched defs:check_random (Results 1 - 19 of 19) sorted by relevance

/netbsd-6-1-5-RELEASE/external/lgpl3/mpfr/dist/tests/
H A Dtget_set_d64.c169 check_random (void) function
H A Dtsub1sp.c71 check_random (mpfr_prec_t p) function
H A Dtadd1sp.c108 check_random (mpfr_prec_t p) function
H A Dtsqr.c60 check_random (mpfr_prec_t p) function
H A Dtfprintf.c275 check_random (FILE *fout, int nb_tests) function
H A Dtprintf.c330 check_random (int nb_tests) function
/netbsd-6-1-5-RELEASE/external/lgpl3/gmp/dist/tests/mpbsd/
H A Dt-mtox.c30 check_random (void) function
/netbsd-6-1-5-RELEASE/external/lgpl3/gmp/dist/tests/mpz/
H A Ddive_ui.c29 check_random (int argc, char *argv[]) function
H A Dt-cong.c130 check_random (int argc, char *argv[]) function
H A Dt-cong_2exp.c108 check_random (int argc, char *argv[]) function
H A Dt-div_2exp.c187 check_random (int argc, char *argv[]) function
H A Dt-divis.c114 check_random (int reps) function
H A Dt-popcount.c118 check_random (void) function
H A Dt-pow.c161 check_random (int reps) function
H A Dt-aorsmul.c376 check_random (int argc, char *argv[]) function
H A Dt-perfpow.c108 check_random (int reps) function
H A Dbit.c260 check_random (int argc, char *argv[]) function
/netbsd-6-1-5-RELEASE/external/lgpl3/gmp/dist/tests/
H A Dt-sub.c72 check_random (void) function
/netbsd-6-1-5-RELEASE/external/lgpl3/gmp/dist/tests/mpq/
H A Dt-get_d.c157 check_random (int argc, char **argv) function

Completed in 76 milliseconds