Searched refs:check_worst_case (Results 1 – 1 of 1) sorted by relevance
73 check_worst_case (const char *Xs, const char *expxs) in check_worst_case() function105 check_worst_case("4.44089209850062517562e-16", "1.00000000000000022204"); in check_worst_cases()106 check_worst_case("6.39488462184069720009e-14", "1.00000000000006372680"); in check_worst_cases()107 check_worst_case("1.84741111297455401935e-12", "1.00000000000184718907"); in check_worst_cases()108 check_worst_case("1.76177628026265550074e-10", "1.00000000017617751702"); in check_worst_cases()110 check_worst_case("7.54175277499595900852e-10", "1.00000000075417516676"); in check_worst_cases()