I have fixed the issue. Thanks for reporting the bug! - Yang On 4/13/19 9:13 AM, Eric Eide wrote:
Hi, developers of creduce, There are two bugs when I use creduce to reduce some c files. $ creduce --version creduce 2.9.0 (eca4f38)