Bug#662738: frama-c: segfault when running frama-c-gui

To: Raphael Geissert <geissert@debian.org>, 662738@bugs.debian.org
Subject: Bug#662738: frama-c: segfault when running frama-c-gui
From: Stéphane Glondu <glondu@debian.org>
Date: Tue, 06 Mar 2012 08:17:16 +0100
Message-id: <[🔎] 4F55B9FC.6080900@debian.org>
Reply-to: Stéphane Glondu <glondu@debian.org>, 662738@bugs.debian.org
In-reply-to: <[🔎] 201203060000.48820.geissert@debian.org>
References: <[🔎] 201203060000.48820.geissert@debian.org>

Le 06/03/2012 07:00, Raphael Geissert a écrit :
> The backtrace goes all the way to libQtGui.so.4 (I use the libqt4 gtk 
> engine) from the following:

How to use the libqt4 gtk engine? Can you reproduce the bug with the
standard gtk engine? (I cannot)


Cheers,

-- 
Stéphane

Reply to:

References:
- Bug#662738: frama-c: segfault when running frama-c-gui
  - From: Raphael Geissert <geissert@debian.org>

Prev by Date: Bug#662746: mingw32-ocaml: fails to upgrade from squeeze
Next by Date: Bug#662746: mingw32-ocaml: fails to upgrade from squeeze
Previous by thread: Bug#662738: frama-c: segfault when running frama-c-gui
Next by thread: Bug#662738: marked as done (frama-c: segfault when running frama-c-gui)
Index(es):
- Date
- Thread