|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, names, subject) | |
| visit_Name (self, node) | |
Public Attributes | |
| names = names | |
| subject = subject | |
Replace reads of the names a case binds with reads of the subject.
| preprocessor.match_lowering._ReadSubject.__init__ | ( | self, | |
| names, | |||
| subject ) |
| preprocessor.match_lowering._ReadSubject.visit_Name | ( | self, | |
| node ) |
Read the subject where a bound name is read.
| preprocessor.match_lowering._ReadSubject.names = names |
| preprocessor.match_lowering._ReadSubject.subject = subject |