Re: [tlaplus] Segmentation fault

I haven't seen this, and googling didn't bring up much useful. However, it doesn't sound like anything TLA- or even Eclipse-specific, but rather like a bug in libgdk (the problem is in a native library called from Java). The closest reports that I have been able to find are an old bug report from 2009 (http://ubuntuforums.org/showthread.php?t=1198955) and another one from 2011 (http://www.eclipse.org/forums/index.php/m/718958/) where people recommend to downgrade the library …

On Jun 24, 2013, at 7:32 PM, Giuliano <giulia...@xxxxxxx> wrote:

Hello,
I'm running Ubuntu 12.04 (64 bits) and I get the following segmentation fault when trying to create a TLC model using the TLA Toolbox version 1.4.7:

# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x00007f835e84cb0c, pid=3888, tid=140202593380096
#
# JRE version: 7.0_25-b15
# Java VM: Java HotSpot(TM) 64-Bit Server VM (23.25-b01 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# C [libgdk-x11-2.0.so.0+0x3cb0c] gdk_window_object_get_type+0x5fc

Has anyone an idea to solve this problem?
I tried the OpenJDK JVM with no luck (same problem).

Thanks,
Giuliano

--
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/groups/opt_out.