FsCheck


StateMachineExtensions

Namespace: FsCheck.Experimental

Static members

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