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) Hello, Se in attachment a bug found while using creduce. Thanks for your help. Nadège