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
x.InitialActual
Signature: 'Actual
Modifiers: abstract

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

CompiledName: get_InitialActual

x.InitialModel
Signature: 'Model
Modifiers: abstract

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

CompiledName: get_InitialModel

x.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