Function modelRun

modelRun<Model extends object, Real, InitialModel extends object>(
s: ModelRunSetup<InitialModel, Real>,
cmds: Iterable<Command<Model, Real>>,
): void
Run synchronous commands over a Model and the Real system

Throw in case of inconsistency
Type Parameters
- Model extends object
- Real
- InitialModel extends object
Parameters
- s: ModelRunSetup<InitialModel, Real>
  Initial state provider
- cmds: Iterable<Command<Model, Real>>
  Synchronous commands to be executed
Returns void
Remarks
Since 1.5.0
- Defined in packages/fast-check/src/check/model/ModelRunner.ts:113