ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.loop_mixin Namespace Reference

Classes

class  LoopMixin

Detailed Description

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.