coqide.opt crashed with SIGABRT

[Martin Constantino–Bodin]

Hi!

I hope it’s not a problem with the core of Coq. I merely think it’s a problem with CoqIDE.
It was just not responding. This is not the first time it makes it to me.
I was working on multiples files, that I can send if needed.
The bug just appears when I done a search in a file I’ve just opened: CoqIDE freezes and I had to force it quit.

Hoping the information of apport-bug will be useful,
Martin.

ProblemType: Crash
DistroRelease: Ubuntu 11.04
Package: coqide 8.2.pl2+dfsg-1ubuntu1
ProcVersionSignature: Ubuntu 2.6.38-10.44-generic 2.6.38.7
Uname: Linux 2.6.38-10-generic x86_64
NonfreeKernelModules: nvidia
Architecture: amd64
CheckboxSubmission: 01a18e0a74cbde3d34a62f62830ed079
CheckboxSystem: f134069bba098730d27f59b402920826
Date: Fri Jun 24 14:30:52 2011
Disassembly: => 0x7fb518f80d05: Cannot access memory at address 0x7fb518f80d05
ExecutablePath: /usr/bin/coqide.opt
InstallationMedia: Ubuntu 9.10 "Karmic Koala" - Release amd64 (20091027)
ProcCmdline: coqide phi_generalized.v
ProcEnviron:
 SHELL=/bin/bash
 LANG=fr_FR.utf8
 LANGUAGE=fr_FR:en
Signal: 6
SourcePackage: coq
Stacktrace:
 #0 0x00007fb518f80d05 in ?? ()
 No symbol table info available.
 Cannot access memory at address 0x7fff5d0a7158
StacktraceTop: ?? ()
Title: coqide.opt crashed with SIGABRT
UpgradeStatus: Upgraded to natty on 2011-05-03 (52 days ago)
UserGroups: adm admin audio cdrom dialout dip fax fuse lpadmin netdev plugdev sambashare tape video
XsessionErrors: (Do:1813): Wnck-CRITICAL **: wnck_set_client_type got called multiple times.

[Apport retracing service (apport)]

Stacktrace:
 #0 0x00007fb518f80d05 in ?? ()
 No symbol table info available.
 Cannot access memory at address 0x7fff5d0a7158
StacktraceTop: ?? ()

[dino99 (9d9)]

This version has expired long ago; no more supported