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