Trait Oracle 

pub trait Oracle: Send + Sync {
    // Required methods
    fn id(&self) -> &'static str;
    fn kind(&self) -> OracleKind;
    fn applicable_to(&self, op: &OpSpec) -> bool;
    fn verify(&self, ctx: &VerifyCtx<'_>) -> Result<(), Violation>;
}

Independent proof source for expected conformance output.

Required Methods

fn id(&self) -> &'static str

Stable oracle identifier.

fn kind(&self) -> OracleKind

Oracle hierarchy kind.

fn applicable_to(&self, op: &OpSpec) -> bool

Whether this oracle can verify the supplied operation.

fn verify(&self, ctx: &VerifyCtx<'_>) -> Result<(), Violation>

Verify a backend output against this oracle.

Implementors