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

[Yamada, Akihisa]

Dear all,

thanks a lot Johannes and Jonas for debugging and reporting this at
https://github.com/StarExec/StarExec/issues/258

I wish some action will be taken by the StarExec team, as it will be 
extreme if both runsolver and BenchExec doesn't work.

Best,
Akihisa

On 2020/06/24 20:42, Jonas Schöpf wrote:
> 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
> 

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus