[creduce-bugs] creduce Bug Reports

To: creduce-bugs@flux.utah.edu
Subject: [creduce-bugs] creduce Bug Reports
From: Michael Schwarz <michi.schwarz@gmail.com>
Date: Sun, 3 Jan 2016 21:25:25 +0100
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-type:subject:date:message-id:to:mime-version; bh=iWji08/fSYxR0sA1BvMh+5z2zrWV0J6THPrxkp9Y9c0=; b=oq1mskefbgida4L8xT1GICp/124OPVnNflK6IFiiJ5/ONqEUi9iTVpPsUG2s9v2aGr ZDrHWPsZT5MnW2rm2Ppv7RjpO6FIQH7xnPwp/mS0g8JrqkiZ4x4EtQP6H732Q5jFICAr VoItVznRmMq1hchlyXUsDTfTvXR9ZtB+yw5ApSXzqmEdOZ9I5e/SUF2s3t20RA8x0xQf e3hOZv/oDEJWdAURF1ez9Qb2KjT4CVaSHs7mRrK3ivloRjXdTBD/uzfwtL5C6bNIpbU2 Opd9kP5SrQjvB0wgbi2QMyus2AiPd+0eePau1ycX6XOPCLSzFV8RfuxTDVgbpTaEgxqB QFwA==
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

As requested by creduce, here is a bunch of bug reports generated while reducing a piece of C++ code.

Greets
Michael

Attachment: bugs.tgz
Description: Binary data

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

Follow-Ups:
- Re: [creduce-bugs] creduce Bug Reports
  - From: Yang Chen <chenyang@cs.utah.edu>