|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Namespaces | |
| namespace | parser |
| namespace | parser.constant_annotations |
Functions | |
| bool | parser.constant_annotations._fits_int64 (int v) |
| bool | parser.constant_annotations._is_usub_unaryop (object node) |
| None | parser.constant_annotations._tag_bignum_constants (object node, bool in_usub_operand=False) |
| str | parser.constant_annotations._spell_nonfinite (float v) |
| None | parser.constant_annotations._tag_nonfinite_floats (object node) |
| None | parser.constant_annotations.tag_nonfinite_floats (object node) |
| str | parser.constant_annotations.encode_bytes (bytes value) |
| None | parser.constant_annotations.annotate_constant_node (ast.AST value_node) |
| None | parser.constant_annotations.add_type_annotation (ast.Assign node) |
| None | parser.constant_annotations.tag_bignum_constants (object node) |
Variables | |
| parser.constant_annotations._INT64_MIN = -(1 << 63) | |
| tuple | parser.constant_annotations._INT64_MAX = (1 << 63) - 1 |