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

[Jonas Schöpf]

Hi!

> I can trigger "This build does not support backtraces" locally
> by hitting  Ctrl-\  or do something like
> 
>   (pure-matchbox -S strat/std.strat data/z040.srs & )
>       && (sleep 1 ; killall -s QUIT pure-matchbox )
> 
> but not with runsolver.

Same for me.

The tests on the workstation succeeded without any "backtrace" problems.
> I find it very strange that none of the source packages
> http://www.cril.univ-artois.fr/~roussel/runsolver/
> contains the string
> "Maximum VSize exceeded: sending SIGQUIT then SIGKILL"
> that is visible in your starexec job log.
> They all have SIGTERM instead of SIGQUIT.
> 
> That indicates that starexec is not using any of the released versions.
> Then it is quite impossible to reproduce and to debug the issue.

Yes, I agree on that.

Best,
Jonas

-- 
GPG fingerprint: 0BF3 B30B F1D5 6556 795E  F68F 8626 F794 FE62 BE1F