Hello,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