Searched refs:prec_max_printf (Results 1 – 3 of 3) sorted by relevance
71 const int prec_max_printf = 5000; variable345 prec = RAND_BOOL () ? 10 : prec_max_printf; in check_random()348 && (mpfr_get_exp (x) > prec_max_printf in check_random()349 || mpfr_get_exp (x) < -prec_max_printf)) in check_random()
78 const int prec_max_printf = 5000; variable438 prec = RAND_BOOL () ? 10 : prec_max_printf; in check_random()441 && (mpfr_get_exp (x) > prec_max_printf in check_random()442 || mpfr_get_exp (x) < -prec_max_printf)) in check_random()
56 const int prec_max_printf = 5000; /* limit for random precision in variable1150 prec = RAND_BOOL () ? 10 : prec_max_printf; in random_double()