Function spawn_requests

pub fn spawn_requests(
    infra: &InfraFile,
    workflow: &Workflow,
) -> Result<Vec<(String, JoinHandle<RequestOutput>)>, Error>

Given a workflow, traverses it and launches requests to check the necessary parts of it with local checkers.

Arguments

• infra: An InfraFile that determines all workers known to us.
• workflow: The Workflow to generate requests for.

Returns

Handles for every launched request, as a tuple of the name of the checker to which the request is sent and a JoinHandle to wait for the request to complete.

Note that this abstracts over the type of request.

Errors

This function may error if it failed to traverse the workflow.

Request failure must be checked at join time.