Function: scheduledModelRun()
scheduledModelRun<
Model,Real,CheckAsync,InitialModel>(scheduler,s,cmds):Promise<void>
Defined in: packages/fast-check/src/check/model/ModelRunner.ts:150
Run asynchronous and scheduled commands over a Model and the Real system
Throw in case of inconsistency
Type Parameters
| Type Parameter |
|---|
Model extends object |
Real |
CheckAsync extends boolean |
InitialModel extends object |
Parameters
| Parameter | Type | Description |
|---|---|---|
scheduler | Scheduler | Scheduler |
s | ModelRunSetup<InitialModel, Real> | ModelRunAsyncSetup<InitialModel, Real> | Initial state provider |
cmds | Iterable<AsyncCommand<Model, Real, CheckAsync>> | Asynchronous commands to be executed |
Returns
Promise<void>
Remarks
Since 1.24.0