Re: [tlaplus] Re: Resolved: TLA toolbox crash/segfault complaining of libsoup on Linux

[Stephan Merz <stepha...@xxxxxxxxx>]

As mentioned in a reply by Markus Kuppe to a similar report, you may want to consider using the development version of the Toolbox, available at http://tla.msr-inria.inria.fr/kuppe/e4/products/. It is based on a current version of Eclipse and contains various improvements, in particular a new version of TLC that fixes a long-standing problem concerning counter-examples produced for liveness properties.

Stephan


> On 05 Apr 2015, at 17:51, mateus....@xxxxxxxxx wrote:
> 
> On Saturday, November 1, 2014 at 7:46:42 PM UTC-4, Gad Amir wrote:
>> Hello everyone,
>> 
>> 
>>  
>> 
>> 
>> I've started using toolbox today and encountered frequent crashes in response to various actions,
>> 
>> 
>> the eclipse version (3.7.1) the Toolbox is founded upon has an incompatibility with later versions
>> 
>> 
>> of one of its dependencies -- libsoup.  I was able to track this down a resolved issue on the Eclipse bug-tracker:
>> 
>> 
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=404776
>> 
>> 
>>  
>> 
>> 
>> The fix is available only in Eclipse 4.3+, but users of the toolbox who are suffering similar
>> 
>> 
>> issues can employ the suggested workaround which I can confirm as sufficient on Fedora 20.
>> 
>> 
>>  
>> 
>> 
>> Adding the following line to toolbox.ini:
>> 
>> 
>> 
>> 
>> 
>> 
>> 
>> 
>>  
>> 
>> 
>> 
>> 
>> 
>> -Dorg.eclipse.swt.browser.DefaultType=mozilla
>> 
>>  
>> 
>> 
>> Gad
>> 
>> 
>> 
>> 
>>  
>> 
>> 
>> 
>> 
>> 
>>  
> 
> Thanks! I had to do this and export UBUNTU_MENUPROXY=0 to get it to work on Fedora 21.
> 
> -- 
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at http://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.

--
Stephan Merz