Re: [creduce-bugs] Bug report

[Yang Chen]

Hi Christoph,

I couldn't reproduce it with the current Git head. I think the issue has 
been fixed. Thanks for the report!

- Yang


On 01/26/2018 07:23 AM, Christoph Weiss wrote:
Hi,

Attached you can find a bug that we ran into.

Thanks for the great software!

Christoph