Module symbolic_regression 

Re-exports

use crate::result::SYMBOLIC_COUNTEREXAMPLE_ARTIFACT_SCHEMA; 🔒

use crate::result::SYMBOLIC_COUNTEREXAMPLE_ARTIFACT_SCHEMA_VERSION; 🔒

use crate::result::SuiteResult; 🔒

use crate::result::SymbolicArtifactRef; 🔒

use crate::result::SymbolicCounterexampleArtifact; 🔒

use crate::result::SymbolicCounterexampleArtifactKind; 🔒

use crate::result::SymbolicRegressionRef; 🔒

use crate::result::SymbolicReplayStatus; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::hex; 🔒

use alloy_primitives::hex; 🔒

use eyre::Result; 🔒

use eyre::bail; 🔒

use foundry_common::TestFunctionExt; 🔒

use foundry_common::contracts::ContractsByArtifact; 🔒

use foundry_common::fs; 🔒

use foundry_common::sh_warn; 🔒

use foundry_config::Config; 🔒

use foundry_evm::constants::CALLER; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::fmt::Write; 🔒

use std::path::Component; 🔒

use std::path::Path; 🔒

use std::path::PathBuf; 🔒

Structs

PlannedSymbolicRegression 🔒

SymbolicRegression 🔒

Solidity regression file emitted from a symbolic counterexample artifact.

SymbolicRegressionConfig 🔒

Configuration for emitting Solidity regression tests from symbolic counterexamples.

Constants

SYMBOLIC_REGRESSION_MARKER 🔒

Functions

artifact_source_and_contract 🔒

attach_symbolic_regressions_to_suites 🔒

call_after_invariant 🔒

collect_symbolic_artifacts_from_suites 🔒

emit_symbolic_regressions 🔒

ensure_unique_regression_paths 🔒

handler_regression_suffix 🔒

load_artifact 🔒

normalized_components 🔒

plan_symbolic_regression 🔒

relative_solidity_import 🔒

sanitize_identifier 🔒

selector_from_signature 🔒

u256_literal 🔒

write_call 🔒

write_symbolic_regression 🔒