Struct VerificationPolicy 

pub struct VerificationPolicy {
    pub kind: CommandKind,
    pub success_status: ExecutionStatus,
    pub witness_suffix: &'static str,
}

Backend-specific verification policy.

Fields

kind: CommandKind

success_status: ExecutionStatus

witness_suffix: &'static str

Implementations

impl VerificationPolicy

pub fn for_kind(kind: CommandKind) -> VerificationPolicy

pub fn accepts(self, status: ExecutionStatus) -> bool

Trait Implementations

impl Clone for VerificationPolicy

fn clone(&self) -> VerificationPolicy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerificationPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl PartialEq for VerificationPolicy

fn eq(&self, other: &VerificationPolicy) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VerificationPolicy

impl Eq for VerificationPolicy

impl StructuralPartialEq for VerificationPolicy