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

Re: [tlaplus] Segmentation fault



Hi Stephan, thanks a lot for your answer.
I just found out that the problem occurs only when using the toolbox over VNC.
Otherwise it works fine.

Giuliano

On Tuesday, June 25, 2013 9:14:46 AM UTC+2, Stephan Merz wrote:
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,

Stephan


On Jun 24, 2013, at 7:32 PM, Giuliano <giul...@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...@googlegroups.com.
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.