Hi Andre, The issue was fixed. Thanks for the report! - Yang On 4/17/19 8:20 AM, Andre Maroneze wrote:
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,