missing argument to find_ulp_error in cover