FsCheck


StateMachineExtensions Type

Namespace: FsCheck.Experimental

Assembly: FsCheck.dll

Base Type: obj

Static members

Static member Description

StateMachineExtensions.ToProperty(run)

Full Usage: StateMachineExtensions.ToProperty(run)

Parameters:
Returns: Property

run : MachineRun<'Actual, 'Model>
Returns: Property

StateMachineExtensions.ToProperty(arbitraryRun)

Full Usage: StateMachineExtensions.ToProperty(arbitraryRun)

Parameters:
Returns: Property

arbitraryRun : Arbitrary<MachineRun<'Actual, 'Model>>
Returns: Property

StateMachineExtensions.ToProperty(specification)

Full Usage: StateMachineExtensions.ToProperty(specification)

Parameters:
    specification : Machine<'Actual, 'Model>

Returns: Property

specification : Machine<'Actual, 'Model>
Returns: Property