|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, renames) | |
| visit_Attribute (self, node) | |
Public Attributes | |
| renames = renames | |
Rewrite `Outer.Inner` to the hoisted class's module-level name.
| preprocessor.class_context_mixin._QualifyNestedClasses.__init__ | ( | self, | |
| renames ) |
| preprocessor.class_context_mixin._QualifyNestedClasses.visit_Attribute | ( | self, | |
| node ) |
| preprocessor.class_context_mixin._QualifyNestedClasses.renames = renames |