Enum Violation 

pub enum Violation {
    LostUpdate {
        key: String,
        missing: Vec<u64>,
    },
    DuplicateUpdate {
        key: String,
        duplicated: Vec<u64>,
    },
    NoConflictsObserved,
    UniqueWriteLost {
        key: String,
    },
    WritersDidNotComplete {
        completed: usize,
        total: usize,
    },
    NoProgress,
}

A violated invariant. An empty check result means the soak passed.

Variants

LostUpdate

Committed op-ids missing from the contended key’s final set — a lost update.

Fields

key: String

missing: Vec<u64>

DuplicateUpdate

An op-id appears more than once in a contended key’s final set.

Fields

key: String

duplicated: Vec<u64>

NoConflictsObserved

No conflicts were observed anywhere — the race invariant was not exercised.

UniqueWriteLost

An acked unique-key write is missing or has the wrong value after chaos.

Fields

key: String

WritersDidNotComplete

Not every writer task completed within the deadline (liveness).

Fields

completed: usize

total: usize

NoProgress

The run committed nothing at all (liveness).

Trait Implementations

impl Clone for Violation

fn clone(&self) -> Violation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Violation

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

Formats the value using the given formatter.

impl PartialEq for Violation

fn eq(&self, other: &Violation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Violation

impl StructuralPartialEq for Violation