Trait VerificationPlanner 

pub trait VerificationPlanner: Send + Sync {
    // Required method
    fn plan(
        &self,
        project: &ProjectInfo,
        target: &VerificationTarget,
    ) -> Result<VerificationPlan>;
}

Required Methods

fn plan( &self, project: &ProjectInfo, target: &VerificationTarget, ) -> Result<VerificationPlan>

Dyn Compatibility

This trait is dyn compatible.

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

Implementors