Skip to main content

summary_for_unstarted_solver

foundry_evm_symbolic::runtime::solver

Function summary_for_unstarted_solver 

Source 
fn summary_for_unstarted_solver(solver: ScheduledSolver) -> SolverRunSummary
Expand description

Summarizes a solver that was never launched because the portfolio already won.