Next: , Previous: , Up: test   [Contents][Index]


Running Multiple Test Passes for a Single Automaton

Running Multiple Test Passes for a Single Automaton

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.