Module proptest_state_machine::test_runner
source · Expand description
Test declaration helpers and runners for abstract state machine testing.
Traits§
- State machine test that relies on a reference state machine model
Test declaration helpers and runners for abstract state machine testing.