Struct VerifierCellRecord 

pub struct VerifierCellRecord {
    pub scheduler: String,
    pub kernel: String,
    pub topology: String,
    pub passed: bool,
    pub stats: Vec<ProgStats>,
}

One cargo ktstr verifier cell’s outcome. The cell process writes it (via write_cell_record) into the directory named by crate::KTSTR_VERIFIER_RESULT_DIR_ENV; after nextest returns the dispatcher reads them back (via read_cell_records) and renders the per-(topology × scheduler) summary table. A cell is one (scheduler, kernel, topology): the verifier sweeps each declared scheduler across topologies, so topology IS a result axis — a scheduler can pass on one topology and fail on another.

Fields

scheduler: String

Declared scheduler name (the <sched> cell-name segment).

kernel: String

Sanitized kernel label (the <kernel> cell-name segment).

topology: String

Gauntlet topology preset (the <preset> cell-name segment).

passed: bool

Whether the cell passed (exit 0 from the cell handler).

stats: Vec<ProgStats>

Per-program stats (program name + its verified_insns count) captured for this cell, copied from the VM run’s VerifierVmResult::stats. Empty when the cell failed before producing stats. Drives the per-scheduler verified_insns tables (render_instruction_count_tables, rows = kernel, cols = BPF program, cell = the count summarized across topologies) that the dispatcher prints before the PASS/FAIL grid.

Trait Implementations

impl Clone for VerifierCellRecord

fn clone(&self) -> VerifierCellRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifierCellRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifierCellRecord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerifierCellRecord

fn eq(&self, other: &VerifierCellRecord) -> 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 Serialize for VerifierCellRecord

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerifierCellRecord

impl StructuralPartialEq for VerifierCellRecord