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 <[email protected]>
Subject: Creduce bug
To: "[email protected]" <[email protected]>
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
