The source project of this merge request has been removed.
Change validator to specific executor, not tbf
The used tool-info module is not yet part of benchexec, but only of my own fork: https://github.com/lembergerth/benchexec
The used tool-info module is not yet part of benchexec, but only of my own fork: https://github.com/lembergerth/benchexec