Struct ExploredMap 

pub struct ExploredMap { /* private fields */ }

Cross-process coverage map, OR’d by all timelines.

Lives in MAP_SHARED memory so all forked timelines contribute. A bit set to 1 means “this assertion path has been explored.”

Implementations

impl ExploredMap

pub unsafe fn new(ptr: *mut u8) -> Self

Wrap a shared-memory pointer as a explored map.

Safety

ptr must point to at least COVERAGE_MAP_SIZE bytes of valid, writable shared memory.

pub fn merge_from(&self, other: &CoverageBitmap)

Merge a timeline’s coverage bitmap into this explored map (bitwise OR).

pub fn count_bits_set(&self) -> u32

Count the number of set bits in the explored map (population count).

Returns the total number of unique assertion paths explored across all timelines.

pub fn has_new_bits(&self, other: &CoverageBitmap) -> bool

Check if a timeline’s bitmap contains any bits not yet in the explored map.