|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self) | |
| add (self, receiver, node) | |
Public Attributes | |
| bool | ok = True |
| receivers = set() | |
| list | nodes = [] |
| list | stores = [] |
| list | calls = [] |
Every use of one attribute name, or `ok` False when one is unsupported.
| preprocessor.path_dependent_attributes._Uses.__init__ | ( | self | ) |
| preprocessor.path_dependent_attributes._Uses.add | ( | self, | |
| receiver, | |||
| node ) |
| list preprocessor.path_dependent_attributes._Uses.calls = [] |
| list preprocessor.path_dependent_attributes._Uses.nodes = [] |
| bool preprocessor.path_dependent_attributes._Uses.ok = True |
| preprocessor.path_dependent_attributes._Uses.receivers = set() |
| list preprocessor.path_dependent_attributes._Uses.stores = [] |