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

Running

dzn check compliance_provides_bool.dzn

will have the trace.html view show

images/dzn-check-compliance_provides_bool

The options can be among the following:

--import=DIR
-I DIR

Add directory DIR to import path.

--help
-h

Display help on invoking dzn check, and then exit.

--model=MODEL
-m MODEL

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

--port=PORT
-p PORT

Connect to IDE port PORT, the default is 1024.

--queue_size=SIZE
-q SIZE

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

--verbose
-v

Be more verbose, show progress.