Re: [creduce-bugs] Bug examples

To: Christoph Siedentop <christoph@siedentop.name>, creduce-bugs@flux.utah.edu
Subject: Re: [creduce-bugs] Bug examples
From: Yang Chen <chenyang@cs.utah.edu>
Date: Wed, 19 Jul 2017 21:13:24 -0700
In-reply-to: <CA+2=T1E5UTPGP3OLvEqZhOt8hzmOzq3GZe-0Hv_9Sk61c=x0FQ@mail.gmail.com>
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>
References: <CA+2=T1E5UTPGP3OLvEqZhOt8hzmOzq3GZe-0Hv_9Sk61c=x0FQ@mail.gmail.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1

Hi Christoph,

Fixed. Thanks for reporting the issue!

- Yang


On 07/17/2017 10:47 AM, Christoph Siedentop wrote:

Hi C-Reduce-team,

thanks for creating C-Reduce! I really enjoyed using it in the past days.

Follow-Ups:
- Re: [creduce-bugs] Bug examples
  - From: Christoph Siedentop <christoph@siedentop.name>

References:
- [creduce-bugs] Bug examples
  - From: Christoph Siedentop <christoph@siedentop.name>