|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/exception/exception_utils.h>#include <python-frontend/python_expr_builder.h>#include <util/lang/c_types.h>Namespaces | |
| namespace | python_exception_utils |
Functions | |
| exprt | python_exception_utils::make_exception_raise (const type_handler &type_handler, const std::string &exc, const std::string &message, const locationt *location) |