On Tuesday, January 21 2014, Hui Zhu wrote: > Prec didn't support multithread. Even so, GDB shouldn't segfault like that. Cedric, thanks for the report. Would it be possible for you to test this with our git HEAD? Also, if you still find the issue with git HEAD, could you please file a bug in our bugzilla about this issue? Thanks. -- Sergio