|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Namespaces | |
| namespace | __main__ |
| namespace | bootstrap |
| namespace | class_collision |
| namespace | constant_annotations |
| namespace | import_resolver |
| namespace | json_emitter |
| namespace | nested_class_imports |
| namespace | parser |
| namespace | parser_cli |
| namespace | range_alias_pipeline |
| namespace | rewrite_re |
| namespace | threading_lowering |
| namespace | typecheck |
Functions | |
| _impl () | |
| main (*Any args, **Any kwargs) | |
| parse_file (*Any args, **Any kwargs) | |
| parse_file_canonicalised (*Any args, **Any kwargs) | |
| generate_ast_json (*Any args, **Any kwargs) | |
Parser package facade for the Python frontend. Keep this module lightweight: import heavy parser code lazily so importing `parser` as a package does not execute parser-side setup eagerly.
|
protected |
| parser.generate_ast_json | ( | *Any | args, |
| **Any | kwargs ) |
| parser.main | ( | *Any | args, |
| **Any | kwargs ) |
| parser.parse_file | ( | *Any | args, |
| **Any | kwargs ) |
| parser.parse_file_canonicalised | ( | *Any | args, |
| **Any | kwargs ) |