4.2.8 Invoking ide simulate

The ide simulate command runs the internal simulate command.

ide ide-option… simulate option… FILE

Running

ide simulate examples/hello.dzn

will have the trace.html view show

The options can be among the following:

--help

-h

Display help on invoking ide simulate, and then exit.

--import=dir

-I dir

Add directory dir to import path.

--model=model

-m model

Start simulation of model model.

--no-compliance

-C

Do not run the compliance check.

--no-deadlock

-D

Do not run the deadlock check at the end of the trail (EOT).

--no-interface-livelock

Do not run the interface livelock check at the end of the trail (EOT).

--no-queue-full

-Q

Do not run the external queue-full check at the end of the trail (EOT).

--no-refusals

-R

Do not run the compliance check for the failures model refusals check at the end of the trail (EOT).

--no-strict

-S

Do not use strict matching of trail.

--queue-size=size

-q size

Use component queue size size for simulation, the default is 3.

--queue-size-defer=size

Use defer queue size size for simulation, the default is 2.

--queue-size-external=size

Use external queue size size for simulation, the default is 1.

--strict

-s

Use strict matching of trail, i.e., the trail must contain all observable events.

--trail=trail

-t trail

Start simulation by feeding initial trail trail.

--trail-file=trail-file

-T trail-file

Start simulation by feeding initial trail from trail-file.