Previous: , Up: Getting Started   [Contents][Index]


3.4 Sequence view

The sequence view can be initiated from the command-line uing the dzn simulate(see Invoking ide simulate) command:

ide simulate -m Driver examples/Camera.dzn

If all is well, a browser will be presented showing an empty trace view for the Driver component. A browser can also be started by running ide browse trace (see Invoking ide browse):

ide browse trace

It can also be viewed by visiting http://localhost:3000/trace.

Optional input for the sequence view is a trace, which (among others) can be the result of a verification error. The ide verify (see Invoking ide verify) command supports this scenario. As first step verification is done. In case an error is found, the error trace is used as input for simulation, and presented in the web views:

ide verify examples/compliance_provides_bool.dzn

results in:

verify: ibool: check: deadlock: ok
verify: ibool: check: livelock: ok
verify: compliance_provides_bool: check: deterministic: ok
verify: compliance_provides_bool: check: illegal: ok
verify: compliance_provides_bool: check: deadlock: ok
verify: compliance_provides_bool: check: livelock: ok
verify: compliance_provides_bool: check: compliance: fail
verification error