`&' command to run in background
`<' input to pass to the command
`>' output expected from the command
`&' command to run in background
`<' input to pass to the command
`>' output expected from the command
----------------------
Tesh accepts several command line arguments:
--cd some/directory: ask tesh to switch the working directory before
----------------------
Tesh accepts several command line arguments:
--cd some/directory: ask tesh to switch the working directory before
"output ignore" -> output completely discarded
"output display" -> output displayed (but not verified)
"output sort" -> sorts the display before verifying it (see below)
"output ignore" -> output completely discarded
"output display" -> output displayed (but not verified)
"output sort" -> sorts the display before verifying it (see below)
We expect the simulators to run with that log formating argument:
-log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n
Then, tesh sorts string on the 19 first chars only, and is stable when
We expect the simulators to run with that log formating argument:
-log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n
Then, tesh sorts string on the 19 first chars only, and is stable when
(1) tesh is effective (no false positive, no false negative)
(2) scheduling points are separated from each other
(3) at each scheduling point, processes are separated from each other
(1) tesh is effective (no false positive, no false negative)
(2) scheduling points are separated from each other
(3) at each scheduling point, processes are separated from each other