Package: frama-c Version: 20111001+nitrogen+dfsg-3 Hi Mehdi,
I just found out about frama-c and wanted to give it a try. However: $ frama-c-gui Segmentation fault The backtrace goes all the way to libQtGui.so.4 (I use the libqt4 gtk engine) from the following: #67 0xb7df61a2 in gtk_widget_show () from /usr/lib/libgtk-x11-2.0.so.0 #68 0x0858e787 in ml_gtk_widget_show () #69 0x084eb431 in camlGWindow__method_show_3683 () #70 0xb6690270 in ?? () Backtrace stopped: previous frame inner to this frame (corrupt stack?) The rest is probably not very relevant, so I'm omitting it. Cheers, -- Raphael Geissert - Debian Developer www.debian.org - get.debian.net -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
