9.3 Invoking dzn explore

Note: explore is deprecated, please use graph See Invoking dzn graph.

The dzn explore command generates a state diagram or an lts for a Dezyne model (See Invoking dzn lts, See Invoking dzn traces).

Under the hood, dzn explore uses the Dezyne VM.

dzn dzn-option… explore option… FILE

The options can be among the following:

--help

-h

Display help on invoking dzn explore, and then exit.

--import=dir

-I dir

Add directory dir to the import path.

--lts

Generate an lts in Aldebaren format.

--model=model

-m model

Explore model model. The default is to use the most “interesting” model.

--queue-size=size

-q size

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

--state-diagram

Generate a state-diagram it dot format. This is the default.