Searched refs:check_mpfr_flags (Results 1 – 4 of 4) sorted by relevance
61 check_mpfr_flags (int counter) in check_mpfr_flags() function
56 check_mpfr_flags (rand_counter++);
158 void check_mpfr_flags (int counter);
120 check_mpfr_flags (rand_counter++);