stateful_test library
Writing stateful tests.
Classes
-
Action<
State, System, T, R> - A command that performs actions with generated values.
-
Action0<
State, System, R> - A command Action with no arbitrary.
-
Action2<
State, System, T1, T2, R> - A command Action with 2 arbitraries.
-
Action3<
State, System, T1, T2, T3, R> - A command Action with 3 arbitraries.
-
Action4<
State, System, T1, T2, T3, T4, R> - A command Action with 4 arbitraries.
-
Action5<
State, System, T1, T2, T3, T4, T5, R> - A command Action with 5 arbitraries.
-
Action6<
State, System, T1, T2, T3, T4, T5, T6, R> - A command Action with 6 arbitraries.
-
Action7<
State, System, T1, T2, T3, T4, T5, T6, T7, R> - A command Action with 7 arbitraries.
-
Action8<
State, System, T1, T2, T3, T4, T5, T6, T7, T8, R> - A command Action with 8 arbitraries.
-
Behavior<
State, System> - Describes behavior of a stateful test.
-
Command<
State, System> - A operation that can be performed on a state and system.
-
Finalize<
State, System> - A command that finalizes the state and system with another command.
-
Initialize<
State, System> - A command that initializes the state and system with another command.
-
Sequence<
State, System> - A command that runs other commands in sequence.
-
StatefulExampleStep<
State, System> - A step in a stateful example.
-
StatefulFalsifyingExample<
State, System> - A falsifying example of a stateful property.
Functions
-
runBehavior<
State, System> (Behavior< State, System> behavior, {int? seed, int? maxCycles, int? maxSteps, int? maxCommandTries, int? maxShrinkingTries, int? maxShrinkingCycles, Timeout? cycleTimeout, void setUp()?, void tearDown()?, void onDestroy(Behavior<State, System> , System)?, void onFalsify(StatefulFalsifyingExample<State, System> )?, bool? ignoreFalsify}) → void - Runs a stateful test.