Previous: , Up: Verum-Dezyne View Commands   [Contents][Index]

4.2.11 Invoking ide verify

The ide verify command runs the dzn verify command. If verification errors are found, the ide daemon provides a sequence view that can be viewed with a browser.

ide ide-option… verify optionFILE


ide verify examples/compliance_provides_bool.dzn

will have the trace.html view show


Note: The trace view, which is generated by the simulator, will only show compliance errors when the verificator found a compliance error. This means that when the model has errors such as deadlock, illegal, non-determinism, missing reply, second reply, queue full, or range error, any compliance error is ignored.

The options can be among the following:


Display help on invoking ide verify, and then exit.

-I dir

Add directory dir to import path.

-m model

Limit verification to model, and for behavioral component model, to its interfaces.

Note: Verification cannot be applied to system components models; verifying a system model is a no-op.

-q size

Use queue size size for verification, the default is 3.


Be more verbose, show progress.