ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exception_utils.cpp File Reference
Include dependency graph for exception_utils.cpp:

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)