To run certain number of test passes for an automaton specified in FILE, which has a format described in subsection Format of Automaton File, the following command can be used:
$ ./test -t num_passes [ -C VAL ] [ additional options ] -f FILE
The automaton is checked for having its state graph connected. If VAL is a number greater than 0, then the automaton will also be checked for having the number of cycles in the graph less than or equal to VAL. If VAL is non-zero, then the test log will be prepended with information on the best cycle in the automaton state graph as it described in subsection Generating Random Automatons.