|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| __init__ (self) | |
| visit_Match (self, node) | |
Public Attributes | |
| int | counter = 0 |
| preprocessor.match_lowering._MatchLowering.__init__ | ( | self | ) |
| preprocessor.match_lowering._MatchLowering.visit_Match | ( | self, | |
| node ) |
An if/elif chain equivalent to @p node, or @p node if none is built.
| int preprocessor.match_lowering._MatchLowering.counter = 0 |