int main (void) { tests_start (); check_onebit (); tests_end (); exit (0); }
int main (void) { tests_start (); check_onebit (); check_data (); check_random (); tests_end (); exit (0); }
int main (int argc, char **argv) { tests_start (); check_onebit (); check_monotonic (argc, argv); check_random (argc, argv); tests_end (); exit (0); }
int main (void) { tests_start (); mp_trace_base = -16; check_onebit (); check_round (); check_rand (); tests_end (); exit (0); }
int main (void) { tests_start (); mp_trace_base = -16; check_onebit (); check_twobit (); check_inf (); check_underflow (); check_ieee_denorm (); check_ieee_overflow (); check_0x81c25113 (); check_rand (); tests_end (); exit (0); }