Function executed_programs 

fn executed_programs<'a>(
    arenas: &'a [CallTraceArena],
    contract_names: &'a [Vec<Option<String>>],
    sources: &'a ContractSources,
    known_contracts: &ContractsByArtifact,
) -> Vec<ExecutedProgram<'a>>

The programs arenas run that local artifacts describe, once per address and environment.