check that it works with benchexec - Githubissues

jwaldmann / ceta-postproc

GNU Lesser General Public License v3.0

0 stars 0 forks source link

check that it works with benchexec #20

Open jwaldmann opened 4 years ago

jwaldmann commented 4 years ago

http://lists.lri.fr/pipermail/termtools/2020-June/001314.html