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

Segmentation fault

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