Module inline 

Re-exports

use std::collections::BTreeSet; 🔒

use crate::Config; 🔒

use alloy_primitives::map::HashMap; 🔒

use figment::Figment; 🔒

use figment::Profile; 🔒

use figment::Provider; 🔒

use figment::value::Dict; 🔒

use figment::value::Map; 🔒

use figment::value::Value; 🔒

use foundry_compilers::ProjectCompileOutput; 🔒

use foundry_evm_networks::NetworkVariant; 🔒

use itertools::Itertools; 🔒

Modules

natspec 🔒

Structs

HalmosArg

InlineConfig

Represents per-test configurations, declared inline as structured comments in Solidity test files. This allows to create configs directly bound to a solidity test.

InlineConfigError

Wrapper error struct that catches config parsing errors, enriching them with context information reporting the misconfigured line.

InlineConfigProvider

[figment::Provider] for InlineConfig at a given contract and function level.

NatSpec

Convenient struct to hold in-line per-test configurations

SolarParser

SolcParser

Enums

HalmosArgParser

HalmosArrayLengths

InlineConfigErrorKind

Errors returned when parsing inline config.

Constants

HALMOS_ARGS

HALMOS_CONFIG_PREFIX

INLINE_CONFIG_PREFIX 🔒

Functions

contains_inline_config

emit_halmos_arg

extend_data_map 🔒

extend_dict 🔒

extend_value 🔒

halmos_arg

inline_value_for_exact_profile 🔒

inline_value_for_profile 🔒

parse_config_values 🔒

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

Type Aliases

DataMap 🔒