|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | LoopMixin |
LoopMixin - extracted from preprocessor. Contains loop/iteration lowering and related helpers: range/enumerate/items/reversed(range), iterable while-lowering, heterogeneous dict iteration unrolling, and defaultdict read lowering. All shared state lives on Preprocessor (set in Preprocessor.__init__); this mixin only adds methods.