Struct Coverage 

pub struct Coverage { /* private fields */ }

Toggle + Mux branch + FSM state-visit coverage over named signals / labels.

Implementations

impl Coverage

pub fn sample(&mut self, name: impl Into<String>, value: u64)

pub fn sample_mux_branch(&mut self, sel: &str, took_true: bool)

Register both arms of a Mux and record which arm was taken this eval.

pub fn register_fsm_states<I, S>(&mut self, fsm: &str, states: I)

where I: IntoIterator<Item = S>, S: Into<String>,

Register an explicit FSM state enum (or label set) for state-visit (FR109 / C3).

pub fn sample_state_visit(&mut self, fsm: &str, state: &str)

Record that state of fsm was visited (must be registered first for miss tracking).

pub fn hits(&self) -> impl Iterator<Item = &str>

pub fn misses(&self) -> impl Iterator<Item = &str>

pub fn branch_hits(&self) -> impl Iterator<Item = &str>

pub fn branch_misses(&self) -> impl Iterator<Item = &str>

pub fn state_hits(&self) -> impl Iterator<Item = &str>

pub fn state_misses(&self) -> impl Iterator<Item = &str>

pub fn report(&self) -> String

Stable line-oriented report.

• No FSM registered → # bitloom-sim coverage v2 (FR105 dialect).
• FSM registered → # bitloom-sim coverage v3 + # FR109 C3 FSM/state-visit with state_hit / state_miss lines (toggle + branch retained).

pub fn is_empty(&self) -> bool

True when no toggle/branch/state points were ever registered.

pub fn to_lcov(&self, source_file: &str) -> String

Emit LCOV (coverage.lcov dialect) for FR114 — one DA line per coverage point.

Hits use DA:line,1; misses use DA:line,0. Synthetic SF path documents the Bitloom coverage namespace (not a Rust source map — Tywaves typed IDE is deferred).

pub fn coverage_gui_html(&self, title: &str) -> String

In-tree Bitloom coverage GUI HTML (FR114) — browse hit/miss with search.

Trait Implementations

impl Clone for Coverage

fn clone(&self) -> Coverage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Coverage

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

Formats the value using the given formatter.

impl Default for Coverage

fn default() -> Coverage

Returns the “default value” for a type.