Fork of the sosylab/benchexec repo and was extended by the option of running the benchmarks on different hardwares in a distributed way.
Primary LanguagePythonApache License 2.0Apache-2.0
No issues in this repository yet.