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

Re: [creduce-bugs] bug submission

Thank you! 

On Mon, Jun 21, 2021, 09:05 Yang Chen <chenyang@cs.utah.edu> wrote:
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.