Next: , Previous: , Up: Dezyne IDE View Commands   [Contents][Index]

2.3.2 Invoking dzn check

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

dzn dzn-option… check optionFILE


dzn check compliance_provides_bool.dzn

will have the trace.html view show


The options can be among the following:


Add directory DIR to import path.


Display help on invoking dzn check, and then exit.


Limit verification to MODEL, and for behavioural component model, to its interfaces.

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


Connect to IDE port PORT, the default is 1024.


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

XXX: queue_size is actually not supported yet XXX XXX: the underscore in –queue_size is weirdXXX


Be more verbose, show progress.