dist/tests/tsum.c

419                           MPFR_ASSERTN (mpfr_check (sum1));
420                           MPFR_ASSERTN (mpfr_check (sum2));
504                           MPFR_ASSERTN (mpfr_check (sum1));
505                           MPFR_ASSERTN (mpfr_check (sum2));
594                           MPFR_ASSERTN (mpfr_check (sum1));
595                           MPFR_ASSERTN (mpfr_check (sum2));
688                   MPFR_ASSERTN (mpfr_check (sum1));
689                   MPFR_ASSERTN (mpfr_check (sum2));
1034         MPFR_ASSERTN (mpfr_check (sum1));
1035         MPFR_ASSERTN (mpfr_check (sum2));
1134           MPFR_ASSERTN (mpfr_check (sum1));
1135           MPFR_ASSERTN (mpfr_check (sum2));