v 3.11 Updated: 2 years, 9 months ago
A Framework for Reliable Benchmarking and Resource Measurement
https://github.com/sosy-lab/benchexec