[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] segfault in clang_delta
The issue was fixed. Thanks for the report!
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!