Enum ScriptOp 

pub enum ScriptOp {
    Push {
        partition_index: usize,
        payload: Vec<u8>,
    },
    Revoke {
        lane_index: usize,
    },
    Assign {
        lane_index: usize,
    },
}

Available on crate feature proptest only.

One step of a generated source script. Indices are relative to a lane_layout; the consuming test resolves them and skips steps that are invalid in its current state (e.g. revoking an already-revoked lane).

Variants

Push

Push a payload to the partition at this layout index.

Fields

partition_index: usize

Index into the layout.

payload: Vec<u8>

Payload bytes.

Revoke

Revoke the lane at this layout index.

Fields

lane_index: usize

Index into the layout.

Assign

Re-assign the lane at this layout index (after a revoke).

Fields

lane_index: usize

Index into the layout.

Trait Implementations

impl Clone for ScriptOp

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ScriptOp

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

Formats the value using the given formatter.