[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Segmentation fault

Hi Giuliano,

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 …

Good luck,


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

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).


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.