Function normal_cdf

extlibs/catch/include/catch/catch.hpp:6805–6807

            }

            inline double normal_cdf(double x) {
                return std::erfc(-x / std::sqrt(2.0)) / 2.0;
            }

            double erfc_inv(double x);