|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, aliases) | |
| visit_Attribute (self, node) | |
Public Attributes | |
| aliases = aliases | |
| preprocessor.dotted_imports._Rename.__init__ | ( | self, | |
| aliases ) |
| preprocessor.dotted_imports._Rename.visit_Attribute | ( | self, | |
| node ) |
| preprocessor.dotted_imports._Rename.aliases = aliases |