Breinich/runexec_runner
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.
PythonGPL-3.0
Stargazers
No one’s star this repository yet.