Struct CoverageMemoryView 

pub struct CoverageMemoryView<'a> { /* private fields */ }

Zero-copy WASM memory view for coverage (Muda elimination)

Provides direct access to coverage counters stored in WASM linear memory. Counters are stored as little-endian u64 values.

Implementations

impl<'a> CoverageMemoryView<'a>

pub fn new(memory: &'a [u8], counter_base: usize, block_count: usize) -> Self

Create a new memory view

Arguments

• memory - Reference to WASM linear memory
• counter_base - Byte offset where counters start
• block_count - Number of blocks/counters

pub fn read_counter(&self, block: BlockId) -> u64

Read counter without copy (Genchi Genbutsu)

Directly reads the u64 counter value for the given block.

pub fn read_all_counters(&self) -> Vec<u64>

SIMD batch read all counters

Reads all counters at once. In a full implementation, this would use Trueno’s SIMD operations for acceleration.

pub fn block_count(&self) -> usize

Get the number of blocks being tracked

pub fn counter_base(&self) -> usize

Get the counter base offset

pub fn memory_size(&self) -> usize

Get the total memory size

pub fn is_covered(&self, block: BlockId) -> bool

Check if a block is covered (counter > 0)

pub fn covered_count(&self) -> usize

Count the number of covered blocks

pub fn coverage_percent(&self) -> f64

Calculate coverage percentage

Trait Implementations

impl<'a> Debug for CoverageMemoryView<'a>

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

Formats the value using the given formatter.