FsCheck

FsCheck.Experimental Namespace

Type/Module Description

DisposeCall<'Actual>

IOperation

IOperationResult

Machine<'Actual, 'Model>

Defines the initial state for actual and model object, and allows to define the generator to use for the next state, based on the model.

MachineRun<'Actual, 'Model>

MethodCall<'Actual>

New<'Actual>

ObjectMachine<'Actual>

ObjectMachineModel

Operation<'Actual, 'Model>

An operation describes pre and post conditions and the model for a single operation under test. The post-conditions are the invariants that will be checked; when these do not hold the test fails.

OperationResult<'a>

Setup<'Actual, 'Model>

StateMachine

StateMachineExtensions

StopOperation<'Actual, 'Model>

TearDown<'Actual>