|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Namespaces | |
| namespace | preprocessor |
| namespace | preprocessor.itertools_lowering |
Functions | |
| preprocessor.itertools_lowering._bound_names (node) | |
| preprocessor.itertools_lowering._imports (module) | |
| preprocessor.itertools_lowering._itertools_names (module, counts) | |
| preprocessor.itertools_lowering._function (func, names) | |
| preprocessor.itertools_lowering._repeat_operands (call) | |
| preprocessor.itertools_lowering._as_list (call, names) | |
| preprocessor.itertools_lowering._drained (node, counts) | |
| preprocessor.itertools_lowering._drain_once (stmt, name, counts) | |
| preprocessor.itertools_lowering._is_stable (node, rebindable) | |
| preprocessor.itertools_lowering._inline_single_use (block, names, counts, loads, rebindable) | |
| preprocessor.itertools_lowering._blocks (module) | |
| preprocessor.itertools_lowering.lower_itertools (module) | |
Variables | |
| tuple | preprocessor.itertools_lowering._FUNCTIONS = ("chain", "repeat") |
| tuple | preprocessor.itertools_lowering._DRAINS = ("list", "tuple", "sorted", "set", "sum", "min", "max") |
| tuple | preprocessor.itertools_lowering._SIMPLE_STATEMENTS = (ast.Assign, ast.AnnAssign, ast.AugAssign, ast.Expr, ast.Assert, ast.Return) |
| tuple | preprocessor.itertools_lowering._LOOPING_SCOPES |