Searched refs:mpfrMatchValue (Results 1 – 1 of 1) sorted by relevance
598 MPFRNumber mpfrMatchValue(matchValue); in explain_unary_operation_single_output_error() local603 ss << '\n' << " Match decimal: " << mpfrMatchValue.str() << '\n'; in explain_unary_operation_single_output_error()644 MPFRNumber mpfrMatchValue(libc_result.f); in explain_unary_operation_two_outputs_error() local650 ss << "Libc floating point value: " << mpfrMatchValue.str() << '\n'; in explain_unary_operation_two_outputs_error()685 MPFRNumber mpfrMatchValue(libc_result.f); in explain_binary_operation_two_outputs_error() local691 << "Libc floating point result: " << mpfrMatchValue.str() << '\n' in explain_binary_operation_two_outputs_error()723 MPFRNumber mpfrMatchValue(libc_result); in explain_binary_operation_one_output_error() local732 ss << "Libc result: " << mpfrMatchValue.str() << '\n' in explain_binary_operation_one_output_error()765 MPFRNumber mpfrMatchValue(libc_result); in explain_ternary_operation_one_output_error() local777 ss << "Libc result: " << mpfrMatchValue.str() << '\n' in explain_ternary_operation_one_output_error()