[Termtools] TcT StarExec problems

[Jonas Schöpf]

Dear all!

This year I prepared TcT for the termination competition and experienced
some problems on StarExec during the last test runs.

The problem:

For example, in the test for "Derivational_Complexity_Full_Rewriting" I
get for 239 problems the result "This build does not support
backtraces." [0] [3].
This behaviour is also present in all other tests.

The only reference point I found for this error is an issue of GHC. but
to the best of my knowledge, these problems only appear on StarExec and
I cannot reproduce them either on my machine or any of our servers. [1]

If I use the RTS flag from [1] then these backtrace errors turn into
core dumps [2].

Does anybody know what the problem is?

Anyway I submitted TcT already, but I would be thankful if somebody has
an idea.

Thank you!

Best,
Jonas


[0]: https://www.starexec.org/starexec/secure/details/pair.jsp?id=486120974

[1]: https://gitlab.haskell.org/ghc/ghc/issues/17451

[2]: https://www.starexec.org/starexec/secure/details/pair.jsp?id=486124592

[3]: Job with backtrace errors:
https://www.starexec.org/starexec/secure/details/job.jsp?id=41027

[4]: Job without backtrace errors, but core dumps:
https://www.starexec.org/starexec/secure/details/job.jsp?id=41029