|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | _Rename |
Functions | |
| _dotted (node) | |
| _binds_otherwise (module, root) | |
| alias_dotted_imports (module) | |
Gives `import pkg.sub` an alias the converter resolves (#8975).
|
protected |
Whether anything but an import binds `root`, or a star import may.
|
protected |
`a.b.c` for a chain of attribute reads ending in a name, else None.
| preprocessor.dotted_imports.alias_dotted_imports | ( | module | ) |
Rewrite a top-level `import pkg.sub` as `import pkg` and `import pkg.sub as ESBMC_import_pkg_sub`, reading `pkg.sub` through the alias. Python binds `pkg` there too, so the package stays bound.