Struct VerifyBlockResult 

pub struct VerifyBlockResult {
    pub name: String,
    pub passed: usize,
    pub failed: usize,
    pub skipped: usize,
    pub total: usize,
    pub declared_passed: usize,
    pub declared_failed: usize,
    pub hostile_passed: usize,
    pub hostile_failed: usize,
    pub skipped_by_when: usize,
    pub skipped_after_base_fail: usize,
}

Fields

name: String

passed: usize

failed: usize

skipped: usize

Combined skipped count (when-driven plus base-fail-driven). Kept for back-compat with consumers that don’t care about the distinction; the split lives in the two fields below.

total: usize

declared_passed: usize

Cases that originated from the user’s declared given list (or the verify cases-form values they wrote literally). Always populated under --hostile; under a non-hostile run, equal to passed/failed and hostile_* are zero.

declared_failed: usize

hostile_passed: usize

Cases injected by aver verify --hostile boundary expansion. hostile_failed > 0 && declared_failed == 0 is the canonical “your law passed on the values you wrote but breaks on the boundary” signal — encode the missing precondition as when, or drop the law form to a verify cases-form example.

hostile_failed: usize

skipped_by_when: usize

Cases skipped because the user’s when predicate evaluated to false. Subset of skipped. When this equals skipped and no hostile profiles ran, the law is vacuously-under-hostile.

skipped_after_base_fail: usize

Cases skipped because the same case_expr already failed in its un-effected base world. Aver doesn’t run the VM for these — they would only re-confirm the same counter-example under harder worlds. Subset of skipped.

Trait Implementations

impl Clone for VerifyBlockResult

fn clone(&self) -> VerifyBlockResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyBlockResult

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

Formats the value using the given formatter.

impl Serialize for VerifyBlockResult

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.