[Termtools] TermComp test runs C Integer Termination

[Florian Frohn]

Hello,

I guess I don't have the permissions to see these subspaces -- when I
follow the links on the registration website, I am redirected to space
276081, which does not contain the benchmarks I am looking for. However,
if it's TPDB-10.5, then the function name should be "main". The only
explanation that comes to my mind is that the name of the function is
obfuscated (like the filename), but that seems unlikely...

Best
Florian


On 08/17/2017 04:31 PM, Johannes Waldmann wrote:
>> 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
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools