[Termtools] BenchExec at last!

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Sun Jun 28 18:06:20 CEST 2020


> That would be 2.39

OK.

I'm on it https://github.com/jwaldmann/ceta-postproc/issues/19

For testing, as I no longer have superpowers,
can some-one please allow me to access their tool,
in the certified config(s)

- J.



More information about the Termtools mailing list