|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Static Public Attributes | |
| Callable | parse_file = None |
| Callable | generate_ast_json_fn = None |
| ImportResolverLike | import_resolver = None |
| Callable | emit_file_as_json_fn = None |
Dependencies for file/module emission wrappers.
|
static |
|
static |
|
static |
|
static |