|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Static Public Attributes | |
| Callable | tag_bignum_constants [[object], None] |
| Callable | tag_nonfinite_floats [[object], None] |
Dependencies required by AST->JSON emission.
|
static |
|
static |