Skip to main content

symbolic_invariant_counterexample_calls

forge::runner

Function symbolic_invariant_counterexample_calls 

Source 
fn symbolic_invariant_counterexample_calls(
    steps: &[SymbolicInvariantStep],
    identified_contracts: &ContractsByAddress,
    show_solidity: bool,
) -> Vec<SymbolicCounterexampleCall>