Skip to main content

explored_map_bits_set

Function explored_map_bits_set 

Source
pub fn explored_map_bits_set() -> Option<u32>
Expand description

Count the number of bits set in the explored coverage map.

Returns None if the explored map is not initialized (exploration not active). The result represents how many unique assertion paths have been explored across all timelines.

Must be called before cleanup which frees the explored map memory.