Previous: Getting started State View, Up: Getting Started [Contents][Index]
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