|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| visit_Name (self, node) | |
| visit_Compare (self, node) | |
| visit_Call (self, node) | |
Replace each function of a group by its code, `is` by `==` and `callable` by True.
| preprocessor.function_value_dispatch._Codes.visit_Call | ( | self, | |
| node ) |
| preprocessor.function_value_dispatch._Codes.visit_Compare | ( | self, | |
| node ) |
| preprocessor.function_value_dispatch._Codes.visit_Name | ( | self, | |
| node ) |