Skip to content

Change validator to specific executor, not tbf

Thomas Lemberger requested to merge (removed):master into master

The used tool-info module is not yet part of benchexec, but only of my own fork: https://github.com/lembergerth/benchexec

Merge request reports