Module natspec 

Re-exports

use super::INLINE_CONFIG_PREFIX; 🔒

use super::InlineConfigError; 🔒

use super::InlineConfigErrorKind; 🔒

use figment::Profile; 🔒

use foundry_compilers::ProjectCompileOutput; 🔒

use foundry_compilers::artifacts::Node; 🔒

use foundry_compilers::artifacts::ast::NodeType; 🔒

use itertools::Itertools; 🔒

use serde_json::Value; 🔒

use solar::ast; 🔒

use solar::ast::Span; 🔒

use solar::interface::Session; 🔒

use std::collections::BTreeMap; 🔒

use std::path::Path; 🔒

Structs

HalmosArg 🔒

NatSpec

Convenient struct to hold in-line per-test configurations

SolarParser 🔒

SolcParser 🔒

Enums

HalmosArgParser 🔒

HalmosArrayLengths 🔒

Constants

HALMOS_ARGS 🔒

HALMOS_CONFIG_PREFIX 🔒

Functions

contains_inline_config 🔒

emit_halmos_arg 🔒

halmos_arg 🔒

parse_halmos_array_lengths 🔒

parse_halmos_length_set 🔒

parse_halmos_lengths 🔒

push_halmos_array_lengths 🔒

push_halmos_lengths 🔒

split_halmos_args 🔒

split_halmos_lengths_entries 🔒

toml_string 🔒

translate_halmos_config 🔒