Function asyncModelRun

asyncModelRun<
    Model extends object,
    Real,
    CheckAsync extends boolean,
    InitialModel extends object,
>(
    s:
        | ModelRunSetup<InitialModel, Real>
        | ModelRunAsyncSetup<InitialModel, Real>,
    cmds: Iterable<AsyncCommand<Model, Real, CheckAsync>>,
): 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>>
  Asynchronous commands to be executed
Returns Promise<void>
Remarks
Since 1.5.0
- Defined in packages/fast-check/src/check/model/ModelRunner.ts:131