3 ms·
No interest in a more general tool? https://github.com/sosy-lab/benchexec https://github.com/sosy-lab/benchexec
by igouy 2y ago
No interest in a more general tool?
https://github.com/sosy-lab/benchexec https://github.com/sosy-lab/benchexec
loading thread…