Struct PropertyTest 

pub struct PropertyTest { /* private fields */ }

Property-based test runner.

TigerStyle:

• Deterministic via seed
• Explicit operation count limits
• Invariant checking after each operation
• Time advancement control

Implementations

impl PropertyTest

pub fn new(seed: u64) -> Self

Create a new property test with the given seed.

Panics

Panics if max_operations would exceed DST_SIMULATION_STEPS_MAX.

pub fn with_max_operations(self, max: u64) -> Self

Set the maximum number of operations to run.

Panics

Panics if max exceeds DST_SIMULATION_STEPS_MAX.

pub fn with_time_advance(self, config: TimeAdvanceConfig) -> Self

Configure time advancement between operations.

pub fn skip_initial_invariant_check(self) -> Self

Disable checking invariants before the first operation.

pub fn run<T: PropertyTestable>(self, state: T) -> PropertyTestResult

Run the property test.

Generates random operations, applies them, and checks invariants after each operation. Returns detailed results.

pub fn run_and_assert<T: PropertyTestable>(self, state: T)

Run the property test, panicking on failure.

Convenience method for use in #test functions.

Panics

Panics if any invariant is violated.

Trait Implementations

impl Debug for PropertyTest

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

Formats the value using the given formatter.