[creduce-bugs] OOPS: pass_indent::regular failed to modify the test case, which means you have encountered a bug in C-Reduce

To: creduce-bugs@flux.utah.edu
Subject: [creduce-bugs] OOPS: pass_indent::regular failed to modify the test case, which means you have encountered a bug in C-Reduce
From: Tamir Duberstein <tamird@gmail.com>
Date: Sun, 15 Mar 2015 16:11:33 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=Pjx5qjA478gpNzK5WEwwQPQ2rYcsugpIuU27H53ErUI=; b=rAF01/ozhpGDngAUw24swKavZwJv07Ny7RvlL/ceHfQtjEP6ZWchHRpo7UaKuHcehh +Sqs7BzD1y2PzgyJN/QJEA05dUHNN1AI1crVybq2JHXCGRz/VAFgauNFvbZaIHVTJNjD fPKTIMcU4s5yV3sIMX8l1syMstSPLq71V5rR7b2llrDez/fXeeMirayEN9z50UxE7jsc oP35JY26ReCFui/wRIqOXrCdLDqVo26Pn3XjbacWXeWNM/jyFJKGU4gKz+8hwc9Ccsm8 SO5MryXPGo0GFhNYsSmVXZMnd3UYJ13oFO4y/lp4y3dKXCeDfzXT91dD/omCDsi44jlM AEIA==
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>

OOPS: pass_indent::regular failed to

modify the test case, which means you have

encountered a bug in C-Reduce. Please consider

mailing /Users/tamird/src/creduce_bug_431781 to

the bug. Please also let us know what version of

C-Reduce you are using and include any other

details that may help us reproduce the problem.

This occurred using creduce 2.2.1.

Attachment: creduce_bug_431781
Description: Binary data