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 Generate Equation using Symbolic Execution.
std::string error_message
equation_conversion_exceptiont(const std::string &message, const symex_target_equationt::SSA_stept &step)
symex_target_equationt::SSA_stept step
const char * what() const optional_noexcept override
void output(const namespacet &ns, std::ostream &out) const