|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self, calls, has, value) | |
| visit_Call (self, node) | |
Public Attributes | |
| dict | calls = {id(c) for c in calls} |
| has = has | |
| value = value | |
| preprocessor.path_dependent_attributes._Rewrite.__init__ | ( | self, | |
| calls, | |||
| has, | |||
| value ) |
| preprocessor.path_dependent_attributes._Rewrite.visit_Call | ( | self, | |
| node ) |
| dict preprocessor.path_dependent_attributes._Rewrite.calls = {id(c) for c in calls} |
| preprocessor.path_dependent_attributes._Rewrite.has = has |
| preprocessor.path_dependent_attributes._Rewrite.value = value |