FsCheck


ICommandGenerator<'Actual, 'Model>

Namespace: FsCheck

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.

Instance members

Instance memberDescription
InitialActual
Signature: 'Actual
Modifiers: abstract

Initial state of actual object. Should correspond to initial state of model object.

CompiledName: get_InitialActual

InitialModel
Signature: 'Model
Modifiers: abstract

Initial state of model object. Should correspond to initial state of actual object.

CompiledName: get_InitialModel

Next(arg1)
Signature: 'Model -> Gen<Command<'Actual,'Model>>
Modifiers: abstract

Generate a number of possible commands based on the current state of the model. Preconditions are still checked, so even if a Command is returned, it is not chosen if its precondition does not hold.

Fork me on GitHub