Module proptest_state_machine::test_runner

source ·
Expand description

Test declaration helpers and runners for abstract state machine testing.

Traits§

  • StateMachineTest
    State machine test that relies on a reference state machine model