FsCheck


StateMachineExtensions

Namespace: FsCheck.Experimental
Attributes:
[<AbstractClass>]
[<Sealed>]
[<Extension>]

Static members

Static memberDescription
StateMachineExtensions.ToProperty(run)
Signature: run:MachineRun<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model Attributes:
[<Extension>]
StateMachineExtensions.ToProperty(...)
Signature: arbitraryRun:Arbitrary<MachineRun<'Actual,'Model>> -> Property
Type parameters: 'Actual, 'Model Attributes:
[<Extension>]
StateMachineExtensions.ToProperty(...)
Signature: specification:Machine<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model Attributes:
[<Extension>]
Fork me on GitHub