Skip to main content

base_counterexamples_to_txes

forge::runner

Function base_counterexamples_to_txes 

Source 
fn base_counterexamples_to_txes(
    call_sequence: &mut [BaseCounterExample],
    show_solidity: bool,
) -> Vec<BasicTxDetails>
Expand description

Converts a persisted counterexample to BasicTxDetails, setting show_solidity in place.