Next: Dezyne Language Reference, Previous: Code Integration, Up: Top [Contents][Index]
| • Invoking dzn | Running Dezyne commands. | |
| • Invoking dzn code | Generating code from a Dezyne file. | |
| • Invoking dzn graph | Generating graphs of Dezyne models. | |
| • Invoking dzn hello | A simple sanity check. | |
| • Invoking dzn language | Lookup and completion. | |
| • Invoking dzn lts | Manipulate and query an LTS. | |
| • Invoking dzn parse | Checking the syntax of Dezyne file. | |
| • Invoking dzn simulate | Simulating Dezyne models. | |
| • Invoking dzn trace | Transform verify, code, and simulate traces. | |
| • Invoking dzn traces | Generate a set of traces. | |
| • Invoking dzn verify | Verifying Dezyne models. | |