Re: [creduce-bugs] bug submission

[Yang Chen]

Fixed in 12b9118. Thank you for the report, Matheus!

- Yang

On 6/14/21 5:33 AM, Matheus Izvekov wrote:

Hello!

Here goes a bug the tool suggested I report.