ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
rejection.py File Reference
Namespaces
namespace
preprocessor
namespace
preprocessor.rejection
Functions
None
preprocessor.rejection.attach_location
(BaseException exc, ast.AST node, str module_name)
src
python-frontend
preprocessor
rejection.py
Generated by
1.15.0