|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | SequenceIteratorMixin |
Preprocessor lowering for the explicit iterator protocol on statically-sized immutable sequences (``it = seq.__iter__()`` then ``next(it)`` / ``it.__next__()``).