BenchExec

https://github.com/sosy-lab/benchexec

BenchExec is a framework for reliable benchmarking and resource measurement on Linux, providing...

Tokens:13,059
Snippets:108
Trust Score:8.6
License:Apache-2.0
Update:8 months ago
Tokens:
Raw