Function scheduledModelRun

scheduledModelRun<Model, Real, CheckAsync, InitialModel>(scheduler, s, cmds): Promise<void>
Run asynchronous and scheduled 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
- scheduler: Scheduler<unknown>
  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
- Defined in packages/fast-check/src/check/model/ModelRunner.ts:155

Generated using TypeDoc