pub struct TierSummary {
pub interpreter: usize,
pub vm_validator_ran: bool,
pub vm_agreed: usize,
pub vm_refused: usize,
pub vm_diverged: usize,
}Expand description
A machine-readable census of which EXECUTION TIERS a largo test run actually
exercised — the runner’s answer to G14’s “a green run must be legible about what
it proved”. The tree-walking interpreter is the always-on reference tier (every
## Test runs on it); the bytecode VM tier is a cross-tier VALIDATOR that only
runs under --tiers all, and when it does, each test’s TierEvidence says
whether the VM agreed, refused, or diverged. Derived purely from the report, so
the census can never drift from the evidence it summarizes.
Fields§
§interpreter: usizeTests that ran on the tree-walking interpreter (the reference oracle) — the whole non-skipped suite, always.
vm_validator_ran: boolWas the bytecode-VM cross-tier validator turned on for this run?
vm_agreed: usizeVM agreed byte-for-byte (--tiers all).
vm_refused: usizeVM could not run the computation and REFUSED (--tiers all) — reported as a
tier: refused (…) failure, never a silent skip.
vm_diverged: usizeVM ran and DISAGREED (--tiers all) — always a compiler bug.
Trait Implementations§
Source§impl Clone for TierSummary
impl Clone for TierSummary
Source§fn clone(&self) -> TierSummary
fn clone(&self) -> TierSummary
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for TierSummary
impl Debug for TierSummary
Source§impl PartialEq for TierSummary
impl PartialEq for TierSummary
Source§impl Serialize for TierSummary
impl Serialize for TierSummary
impl Copy for TierSummary
impl Eq for TierSummary
impl StructuralPartialEq for TierSummary
Auto Trait Implementations§
impl Freeze for TierSummary
impl RefUnwindSafe for TierSummary
impl Send for TierSummary
impl Sync for TierSummary
impl Unpin for TierSummary
impl UnsafeUnpin for TierSummary
impl UnwindSafe for TierSummary
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.