ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.json_emitter.JsonEmitterDeps Class Reference

Static Public Attributes

Callable tag_bignum_constants [[object], None]
Callable tag_nonfinite_floats [[object], None]

Detailed Description

Dependencies required by AST->JSON emission.

Member Data Documentation

◆ tag_bignum_constants

Callable parser.json_emitter.JsonEmitterDeps.tag_bignum_constants [[object], None]
static

◆ tag_nonfinite_floats

Callable parser.json_emitter.JsonEmitterDeps.tag_nonfinite_floats [[object], None]
static

The documentation for this class was generated from the following file: