Skip to main content

validate

Function validate 

Source
pub fn validate(
    program: &AdmissionProgram,
    limits: &ProgramLimits,
) -> Result<ProgramCertificate, ValidationError>
Expand description

Validate a program against the structural limits, FAIL-CLOSED on the first fault, returning the independently re-derived ProgramCertificate on success.

ยงErrors

The first ValidationError found.