Re: [creduce-bugs] C-Reduce crashed with error: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=copy-propagation

[Yang Chen]

On 2021-12-23 07:00, Even Mendoza, Karine wrote:

Hi,

The following code crashed C-Reduce (Ubuntu 18, Clang-12), see the
details below.

Fixed in 1bdde19. Thank you for reporting the issue, Karine!

- Yang