Skip to main content

verify_spec

comnum_spec::verify

Function verify_spec 

Source 
pub fn verify_spec(
    spec: &Spec,
    opts: &RunOptions,
) -> Result<(Verified, Vec<Check>)>
Expand description

Run a specification (its search, when it has one) and check its expectations: what comnum verify and the Python verify_spec do.

ยงErrors

Error::Config for a specification without expectations (before anything runs); the errors of the run or the search and those of verify or verify_search.