Skip to main content

run_validator

Function run_validator 

Source
pub fn run_validator<'a, V>(
    validator: &V,
    problem: &RefutationProblem<'a>,
    workspace: &mut EstimationWorkspace,
    ctx: &ExecutionContext,
) -> Result<RefutationReport, ValidationError>
where V: Validator<RefutationProblem<'a>, Prepared = PreparedRefutation<'a>, Report = RefutationReport>,
Expand description

Run validator end-to-end (prepare → validate) for suite dispatch.

§Errors

Propagates prepare/validate failures.