Struct InvariantChecker 

pub struct InvariantChecker { /* private fields */ }

Invariant checker for game state validation during fuzzing

Implementations

impl InvariantChecker

pub fn new() -> Self

Create a new invariant checker

pub fn add_check(&mut self, check: InvariantCheck)

Add an invariant check

pub fn record_violation( &mut self, invariant_name: &str, message: &str, step: u64, )

Record a violation

pub fn has_violations(&self) -> bool

Check if any violations occurred

pub fn violations(&self) -> &[InvariantViolation]

Get all violations

pub fn check_count(&self) -> usize

Get the number of checks

pub fn clear_violations(&mut self)

Clear all violations

Trait Implementations

impl Clone for InvariantChecker

fn clone(&self) -> InvariantChecker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantChecker

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

Formats the value using the given formatter.

impl Default for InvariantChecker

fn default() -> InvariantChecker

Returns the “default value” for a type.