GitHub repository: Breinich/runexec_runner
Primary language: Python
Created: 2022-11-24T07:41:49Z
Description: 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.