This is a necessary tool and a small environment for the extended and distributed version of the Benchexec software.
This tool is responsible for the execution of the different runs, with which the user would like to benchmark a software using the modified Benchexec on the target hardware.
The tool has 2 command line arguments:
- The first one is the file (ending with .command.csv), where the commands are, which are wanted to be executed as single runs of the target software.
- The second one is a folder, where the tool should place the output files and the results of the run.
The tool's dependencies: