[][src]Function sp_state_machine::prove_execution

pub fn prove_execution<B, H, N, Exec, Spawn>(
    mut backend: B,
    overlay: &mut OverlayedChanges,
    exec: &Exec,
    spawn_handle: Spawn,
    method: &str,
    call_data: &[u8],
    runtime_code: &RuntimeCode<'_>
) -> Result<(Vec<u8>, StorageProof), Box<dyn Error>> where
    B: Backend<H>,
    H: Hasher,
    H::Out: Ord + 'static + Codec,
    Exec: CodeExecutor + Clone + 'static,
    N: BlockNumber,
    Spawn: SpawnNamed + Send + 'static, 

Prove execution using the given state backend, overlayed changes, and call executor.