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

Re: [creduce-bugs] Creduce bug

Thanks for the bug report, Nadege!

Looks like pass_lines got stuck. John, you may want to take a look at this? Thanks.

- Yang

On 05/11/2017 08:26 AM, Eric Eide wrote:
[This message to creduce-bugs was lost when I approved it, due to a disk-full
error.  I'm "reposting" it from the copy I received as admin.]

From: Nadege Caputo <Nadege.Caputo@mathworks.fr>
Subject: Creduce bug
To: "creduce-bugs@flux.utah.edu" <creduce-bugs@flux.utah.edu>
Date: Thu, 11 May 2017 07:12:57 +0000 (8 hours, 7 minutes, 17 seconds ago)


Se in attachment a bug found while using creduce.

Thanks for your help.