Module symbolic_regression 

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 🔒