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

Re: [creduce-bugs] segfault in clang_delta

Hi Andre,

The issue was fixed. Thanks for the report!

- Yang

On 4/17/19 8:20 AM, Andre Maroneze wrote:

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,