Hacker News new | ask | show | jobs
by igouy 541 days ago
No interest in a more general tool?

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