The TEST mode session starts with the following command:
maze cmd [ cmd ... ] [ -r runs ] [ -s seed ] [ -f ] [ -d dir ]
| cmd | (“command”) has the 'prog-and-args' [ inst ] format. There may be multiple cmds. prog-and-args is the name of the application binary with its own command line arguments. If the binary does not take any command line arguments, the quotes around prog-and-args are optional. inst is a positive integer. It is an optional argument specifying the number of instances of the program to be run concurrently. The default value for inst is 1. |
| -r runs | runs is a positive integer, specifying the number of runs in the TEST session. The default value for runs is 1. |
| -s seed | seed is a positive integer, used as a seed for the maze random number generator. Different seeds result in different sets of process scheduling schemes generated by maze. |
| -f | control both threads and child processes created with fork(). By default, maze controls only threads. |
| -d dir | dir is a valid directory name. Maze stores the session data in the directory dir/.maze/pid/ , where pid is the process id of the maze session itself. By default, dir is the run directory. |
Example:
The TEST session with three shell commands ( "ls -lt", "pwd", and "pwd") running concurrently 10 times can be initiated either with
$ maze 'ls -lt' pwd pwd -r 10
or with
$ maze 'ls -lt' pwd 2 -r 10
