int main (void) { tests_start_mpfr (); special (); special_overflow (); test_generic (2, 100, 7); tests_end_mpfr (); data_check ("data/asin", mpfr_asin, "mpfr_asin"); test20071215 (); tests_end_mpfr (); return 0; }
int main (void) { tests_start_mpfr (); special (); special_overflow (); reduced_expo_range (); test_generic (2, 100, 15); tests_end_mpfr (); data_check ("data/asin", mpfr_asin, "mpfr_asin"); bad_cases (mpfr_asin, mpfr_sin, "mpfr_asin", 256, -40, 1, 4, 128, 800, 30); test20071215 (); tests_end_mpfr (); return 0; }