Commands
Namespace: Persimmon.Dried
Nested types and modules
| Type | Description |
| Actions<'Sut, 'State, 'Result> | |
| Commands<'Sut, 'State, 'Result> |
Functions and values
| Function or value | Description |
property threadCount maxParComb commands
Signature: threadCount:int -> maxParComb:int -> commands:Commands<'Sut,'State> -> Prop<Actions<'Sut,'State,obj>>
Type parameters: 'Sut, 'State |
|
propertyWithDefault commands
Signature: commands:Commands<'?8198,'?8199> -> Prop<Actions<'?8198,'?8199,obj>>
Type parameters: '?8198, '?8199 |
|
runParCmds sut s pcmds
Signature: sut:'Sut -> s:'State -> pcmds:Commands<'Sut,'State,'Result> list -> Prop * (Command<'Sut,'State,'Result> * Choice<string,exn>) list list
Type parameters: 'Sut, 'State, 'Result |
|
runSeqCmds sut s0 cs
Signature: sut:'Sut -> s0:'State -> cs:Commands<'Sut,'State,'Result> -> Prop * 'State * Choice<string,exn> list
Type parameters: 'Sut, 'State, 'Result |
|
shrinkActions
Signature: Shrink<Actions<'Sut,'State,'Result>>
Type parameters: 'Sut, 'State, 'Result |
|
