Function: modelRun()
modelRun<
Model,Real,InitialModel>(s,cmds):void
Defined in: packages/fast-check/src/check/model/ModelRunner.ts:113
Run synchronous commands over a Model and the Real system
Throw in case of inconsistency
Type Parameters
| Type Parameter |
|---|
Model extends object |
Real |
InitialModel extends object |
Parameters
| Parameter | Type | Description |
|---|---|---|
s | ModelRunSetup<InitialModel, Real> | Initial state provider |
cmds | Iterable<Command<Model, Real>> | Synchronous commands to be executed |
Returns
void
Remarks
Since 1.5.0