ROSE
0.11.131.0
|
Exception for parse errors when reading SMT solver output.
Definition at line 79 of file SmtSolver.h.
#include <Rose/BinaryAnalysis/SmtSolver.h>
Public Member Functions | |
ParseError (const std::pair< size_t, size_t > &loc, const std::string &mesg) | |
![]() | |
Exception (const std::string &mesg) | |
![]() | |
Exception (const std::string &s) | |
Construct an exception with an error message. More... | |