Module natspec 

Structs

NatSpec

Convenient struct to hold in-line per-test configurations

SolarParser 🔒

SolcParser 🔒

Enums

HalmosArrayLengths 🔒

Constants

HALMOS_CONFIG_PREFIX 🔒

Functions

contains_inline_config 🔒

halmos_numeric_symbolic_field 🔒

parse_halmos_array_lengths 🔒

parse_halmos_length_set 🔒

parse_halmos_lengths 🔒

parse_halmos_u32 🔒

push_halmos_array_lengths 🔒

push_halmos_lengths 🔒

push_halmos_string 🔒

push_halmos_u32 🔒

split_halmos_args 🔒

split_halmos_lengths_entries 🔒

toml_string 🔒

translate_halmos_config 🔒