Skip to main content

Verifier

a3s_code_core::verification

Trait Verifier 

Source 
pub trait Verifier: Send + Sync {
    // Required method
    fn verify(
        &self,
        checks: Vec<VerificationCheck>,
    ) -> Result<VerificationReport>;
}

Required Methods§

Source

fn verify(&self, checks: Vec<VerificationCheck>) -> Result<VerificationReport>

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§