Skip to main content

CoverageBitmap

Struct CoverageBitmap 

Source
pub struct CoverageBitmap { /* private fields */ }
Expand description

Per-timeline coverage bitmap, cleared before each split.

Tracks which assertion paths were hit during this timeline’s execution. After the timeline finishes, the parent merges this into the ExploredMap.

Implementations§

Source§

impl CoverageBitmap

Source

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

Wrap a shared-memory pointer as a coverage bitmap.

§Safety

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

Source

pub fn set_bit(&self, index: usize)

Set the bit at the given index (mod total bits).

Source

pub fn clear(&self)

Clear all bits to zero.

Source

pub fn as_ptr(&self) -> *const u8

Get a pointer to the underlying data.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.