FsCheck


Machine<'Actual, 'Model>

Namespace: FsCheck.Experimental

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.

Constructors

ConstructorDescription
new()
Signature: unit -> Machine<'Actual,'Model>

CompiledName: .ctor

new(maxNumberOfCommands)
Signature: maxNumberOfCommands:int -> Machine<'Actual,'Model>

CompiledName: .ctor

Instance members

Instance memberDescription
MaxNumberOfCommands
Signature: int

CompiledName: get_MaxNumberOfCommands

Next(arg1)
Signature: 'Model -> Gen<Operation<'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.

Setup
Signature: Arbitrary<Setup<'Actual,'Model>>
Modifiers: abstract

CompiledName: get_Setup

ShrinkOperations(arg1)
Signature: (Operation<'Actual,'Model> list) -> seq<Operation<'Actual,'Model> list>
Modifiers: abstract
TearDown
Signature: TearDown<'Actual>
Modifiers: abstract

CompiledName: get_TearDown

Fork me on GitHub