[Termtools] TermComp test runs C Integer Termination

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Thu Aug 17 16:31:10 CEST 2017


> Which examples are currently used for testing

...

the subspace ids that contain the benchmarks
are also shown on the registration page
(immediately after the respective category)
https://termcomp.imn.htwk-leipzig.de/registered/Y2017

- J


More information about the Termtools mailing list