FsCheck


CommandExtensions

Namespace: FsCheck

Static members

Static memberDescription
ToProperty(spec, generator, shrinker)
Signature: (spec:ICommandGenerator<'Actual,'Model> * generator:Gen<seq<Command<'Actual,'Model>>> * shrinker:(seq<Command<'Actual,'Model>> -> seq<seq<Command<'Actual,'Model>>>)) -> Property
Type parameters: 'Actual, 'Model

Turn a specification into a property, allowing you to specify generator and shrinker.

ToProperty(spec)
Signature: spec:ICommandGenerator<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model

Turn a specification into a property.

Fork me on GitHub