essential_check::solution

Function check_and_compute_solution_set_two_pass

Source 
pub fn check_and_compute_solution_set_two_pass<S>(
    state: &S,
    solution_set: SolutionSet,
    get_predicate: impl GetPredicate + Sync + Clone,
    get_program: impl 'static + Clone + GetProgram + Send + Sync,
    config: Arc<CheckPredicateConfig>,
) -> Result<(Gas, SolutionSet), PredicatesError<S::Error>>
where
    S: Clone + StateRead + Send + Sync + 'static,
    S::Error: Send + Sync + 'static,
Expand description

Check the given solution set against the given predicates and and compute the post state mutations for this set.

This is a two-pass check. The first pass generates the outputs and does not run any post state reads. The second pass checks the outputs and runs the post state reads.