GitHub repository: mikhailramalho/benchexec
Primary language: Python
Description: BenchExec: A Framework for Reliable Benchmarking and Resource Measurement