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

[creduce-bugs] segfault in clang_delta


While using Creduce, I got a segmentation fault in clang_delta and a message suggesting it to be reported.

I'm not sure if it's relevant, but in any case, here's the .tar.gz.

Otherwise, Creduce is being very helpful to debug Frama-C (as it has been for several years). Thanks!

Best regards,

André Maroneze
Researcher/Engineer CEA/List
Software Reliability and Security Laboratory

Attachment: creduce_bug.tar.gz
Description: application/gzip