[Termtools] TermComp test runs C Integer Termination

[Johannes Waldmann]

On 17.08.2017 17:18, aeflores wrote:
> It seems that the category "Termination C integer programs" is using the
> examples
> of the category "Complexity C integer programs" (space 277918)
> 
> Instead it should use the space  277726.

Yes.

That was due to a typo that I made
(the whole process of installing a new TPDB on starexec
is terribly non-automated and error-prone)

Thanks for finding this, and sorry for the confusion.

https://github.com/jwaldmann/star-exec-presenter/issues/146
https://github.com/jwaldmann/star-exec-presenter/issues/147

- Johannes.