[Termtools] "This build does not support backtraces" error

[Johannes Waldmann]

Hi

> Unfortunately, I was not able to fix the "This build does not support
> backtraces" error on StarExec [0].
For the cases where this happens on starexec -
can you solve them on your machine? With how much memory?

What happens (on your machine)
when you run them under control of runsolver ?

http://www.cril.univ-artois.fr/~roussel/runsolver/
(but I don't known what version starexec is using)

- J.