v 3.27 Updated: 1 year, 1 month ago
A Framework for Reliable Benchmarking and Resource Measurement
https://github.com/sosy-lab/benchexec