|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | ParserModuleDeps |
Functions | |
| None | ensure_python3 () |
| None | ensure_python_frontend_on_path (str file_path) |
| ModuleType | _import_with_fallback (str|None package, str module_name) |
| ParserModuleDeps | load_parser_module_deps (str|None package) |
Bootstrap helpers for parser package/script execution.
|
protected |
Import ``module_name`` from package when present, else absolute fallback.
| None parser.bootstrap.ensure_python3 | ( | ) |
Exit with a clear message when running under Python 2.
| None parser.bootstrap.ensure_python_frontend_on_path | ( | str | file_path | ) |
Ensure python-frontend dir is importable for direct script execution.
| ParserModuleDeps parser.bootstrap.load_parser_module_deps | ( | str | None | package | ) |
Resolve parser submodules for package and script execution modes.