Struct invalid_mutations::bounds::OutOfBoundsMutation

pub struct OutOfBoundsMutation { /* private fields */ }

Represents a single mutation to a CompiledModule to produce an out-of-bounds situation.

Use OutOfBoundsMutation::strategy() to generate them, preferably using Vec to generate many at a time. Then use ApplyOutOfBoundsContext to apply those mutations.

Implementations

impl OutOfBoundsMutation

pub fn strategy() -> impl Strategy<Value = Self>

Trait Implementations

impl AsRef<Index> for OutOfBoundsMutation

This is used for source indexing, to work with pick_slice_idxs.

fn as_ref(&self) -> &PropIndex

Converts this type into a shared reference of the (usually inferred) input type.

impl Debug for OutOfBoundsMutation

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

Formats the value using the given formatter.