|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | ModuleRewriteMixin |
Functions | |
| _reads_now (stmt, name) | |
| _binds (stmt, name) | |
| _rename_shadowed_classes (module) | |
| _referenced_names (module) | |
|
protected |
Whether the module-level statement `stmt` always rebinds `name`.
|
protected |
Whether running `stmt` reads `name`: function and lambda bodies run later, so only their decorators and defaults count.
|
protected |
The names `module` reads, deletes or updates in place.
|
protected |
Rename a module-level class that a later module-level statement rebinds before anything reads it, as in `class C: ...` then `C = f`. Every read of `C` then means the new binding, which the converter would otherwise take for the class (#8343).