Function: asyncModelRun()
asyncModelRun<
Model,Real,CheckAsync,InitialModel>(s,cmds):Promise<void>
Defined in: packages/fast-check/src/check/model/ModelRunner.ts:131
Run asynchronous 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 |
|---|---|---|
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.5.0