Skip to main content

base_counterexamples

forge::runner

Function base_counterexamples 

Source 
fn base_counterexamples(
    calls: &[BasicTxDetails],
    identified_contracts: &ContractsByAddress,
    show_solidity: bool,
) -> Vec<BaseCounterExample>
Expand description

Converts campaign transactions into displayable counterexample calls.