9.12 Invoking dzn test

The dzn test command can be used to explore a program’s entire LTS state space.

dzn dzn-option… test option hello.aut ./hello

The options can be among the following:

--format=format

-f format

Print LTS in format format; one of aut, or dot. The default is aut.

--help

-h

Display help on invoking dzn test, and then exit.

--retry=retry

-f retry

Retry retry times upon failure. Use 0 to retry infinite times.