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![]() |
-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