|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, names) | |
| visit_Attribute (self, node) | |
Public Attributes | |
| names = names | |
Replace the method reads named by `names`, keyed by node id.
| preprocessor.bound_method_values._Reads.__init__ | ( | self, | |
| names ) |
| preprocessor.bound_method_values._Reads.visit_Attribute | ( | self, | |
| node ) |
| preprocessor.bound_method_values._Reads.names = names |