Previous: Invoking ide system, Up: Verum-Dezyne View Commands [Contents][Index]
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 option… FILE
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
queue full, or
range error, any
compliance erroris ignored.
The options can be among the following:
Display help on invoking
ide verify, and then exit.
Add directory dir to import path.
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.
Use queue size size for verification, the default is
Be more verbose, show progress.