12 #ifndef CPROVER_GOTO_SYMEX_EQUATION_CONVERSION_EXCEPTIONS_H
13 #define CPROVER_GOTO_SYMEX_EQUATION_CONVERSION_EXCEPTIONS_H
25 const std::string &message,
29 std::ostringstream error_msg;
30 error_msg << runtime_error::what();
32 error_msg <<
"\nStep:\n";
37 const char *
what() const optional_noexcept
override
47 #endif // CPROVER_GOTO_SYMEX_EQUATION_CONVERSION_EXCEPTIONS_H