40 virtual std::string
what() const noexcept;
43 const
std::
string &_file,
44 const
std::
string &_function,
46 const
std::
string &_backtrace,
47 const
std::
string &_condition,
48 const
std::
string &_reason)
69 virtual std::string
what()
const;
virtual ~cprover_exception_baset()=default
virtual std::string what() const
A human readable description of what went wrong.
cprover_exception_baset(std::string reason)
This constructor is marked protected to ensure this class isn't used directly.
std::string reason
The reason this exception was generated.
const std::string backtrace
const std::string condition
virtual ~invariant_failedt()=default
invariant_failedt(const std::string &_file, const std::string &_function, int _line, const std::string &_backtrace, const std::string &_condition, const std::string &_reason)
virtual std::string what() const noexcept
const std::string function