|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| ast.Module | filter_imports (self, ast.Module tree) |
| str|None | resolve_module_file (self, str module_qualname, str output_dir) |
Structural type for resolver functions consumed by JSON emission.
| ast.Module parser.json_emitter.ImportResolverLike.filter_imports | ( | self, | |
| ast.Module | tree ) |
| str | None parser.json_emitter.ImportResolverLike.resolve_module_file | ( | self, | |
| str | module_qualname, | ||
| str | output_dir ) |