Struct RunReport 

pub struct RunReport {
    pub seed: u64,
    pub outcomes: Vec<TestOutcome>,
    pub passed: usize,
    pub failed: usize,
    pub skipped: usize,
    pub properties: usize,
    pub proven: usize,
    pub page_tiers: Vec<String>,
}

The whole run, name-ordered (report order is part of determinism).

Fields

seed: u64

outcomes: Vec<TestOutcome>

passed: usize

failed: usize

skipped: usize

properties: usize

How many tests exercised a For all property (adversarial evidence).

proven: usize

How many properties were PROVED by exhaustion (finite domains, --prove).

page_tiers: Vec<String>

The page tiers this run was CONFIGURED to check a mounted page against (config.page_tiers, Ast excluded — that one is the reference, never a “candidate”), labeled (PageTierKind::label()). render_tier_summary names them so a green largo test --browser cannot claim to have checked a tier it never launched, the way vm=on alone could not distinguish “the lowered VM only” from “the lowered VM AND a real Chrome.”

Implementations

impl RunReport

pub fn all_passed(&self) -> bool

True when the run is green: no failures AND no unbudgeted skips (the caller applies the skip budget — the runner only counts).

pub fn tier_refused(&self) -> usize

How many tests the compiled tier REFUSED under --tiers all — derived from the per-test evidence, so the count can never drift from it.

pub fn rank(&self) -> Rank

The earned rank, from the run’s evidence.

impl RunReport

pub fn tier_summary(&self) -> TierSummary

The execution-tier census for this run (see TierSummary).

Trait Implementations

impl Clone for RunReport

fn clone(&self) -> RunReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RunReport

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

Formats the value using the given formatter.

impl Serialize for RunReport

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

where __S: Serializer,

Serialize this value into the given Serde serializer.