Function asyncModelRun

asyncModelRun<Model, Real, CheckAsync, InitialModel>(s, cmds): Promise<void>
Run asynchronous commands over a Model and the Real system

Throw in case of inconsistency
Type Parameters
- Model extends object
- Real
- CheckAsync extends boolean
- InitialModel extends object
Parameters
- s: ModelRunSetup<InitialModel, Real> | ModelRunAsyncSetup<InitialModel, Real>
  Initial state provider
- cmds: Iterable<AsyncCommand<Model, Real, CheckAsync>, any, any>
  Asynchronous commands to be executed
Returns Promise<void>
Remarks
Since 1.5.0
- Defined in packages/fast-check/src/check/model/ModelRunner.ts:131