[creduce-bugs] C-Reduce triggered 10 bugs during reduction

To: "creduce-bugs" <creduce-bugs@flux.utah.edu>
Subject: [creduce-bugs] C-Reduce triggered 10 bugs during reduction
From: "Junwei Zeng" <jwzeng@nuaa.edu.cn>
Date: Mon, 4 Dec 2023 14:57:48 +0800
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nuaa.edu.cn; s=mvuj2210; t=1701673071; bh=NKOlU32zV2EzLM9/1BAEKJm0qMc2Z56SR7wTaNFsft0=; h=From:To:Subject:Mime-Version:Date:Message-ID; b=DnTZ1k7YJW3S94sJMjoKEgffGlbVZyr4U/vnvFXEqhPRXJ3vyaay2Ce7lXHyaJvWl 3a41pOe2TKd2cJlNGMCx/CL8Tzntw2K60Ub1ihnOpKtCCnABvlwdRa9eaw6bsRDzOM l9QHnSS6izmtYRD93Ghn7GGbfW/NrAT+lunoHgC8=
Feedback-id: t:nuaa.edu.cn:qybglogicsvrgz:qybglogicsvrgz5a-2
List-archive: </listarchives/creduce-bugs>
List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
List-post: <mailto:creduce-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>

Hi,

In the process of using C-Reduce reduction program, 10 bugs were triggered in succession.

All bug reports are in the attachment creduce_bugs.tar.gz.

I hope this information will help solve bugs.

Best regards,

Junwei Zeng.

Attachment: creduce_bugs.tar.gz
Description: Binary data

Follow-Ups:
- Re: [creduce-bugs] C-Reduce triggered 10 bugs during reduction
  - From: Eric Eide <eeide@cs.utah.edu>