|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | preprocessor.check_type_lowering._Lowering |
| class | preprocessor.check_type_lowering._CallSites |
Namespaces | |
| namespace | preprocessor |
| namespace | preprocessor.check_type_lowering |
Functions | |
| preprocessor.check_type_lowering._bound_names (node) | |
| preprocessor.check_type_lowering._unsupported (node, module_name, detail) | |
| preprocessor.check_type_lowering._parse (filename) | |
| preprocessor.check_type_lowering._class_in (scope, path) | |
| preprocessor.check_type_lowering._scope_nodes (body) | |
| preprocessor.check_type_lowering._imports (module) | |
| preprocessor.check_type_lowering._is_ellipsis (node) | |
| preprocessor.check_type_lowering.lower_check_type (module, module_name) | |
Variables | |
| str | preprocessor.check_type_lowering._MODULE = "_sv_verifier" |
| tuple | preprocessor.check_type_lowering._FUNCTIONS = ("check_type", "_matches_type") |
| tuple | preprocessor.check_type_lowering._ITERABLES = ("list", "set") |