[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] Bug examples



Hi C-Reduce-Team, hi Yang, hi Eric,

I found another one :) (That's a good thing, 'cause your tool is useful!)

I took the liberty to attach all inputs, not just the case that caused issues. The original source code is from a Stackoverflow Question, so not confidential in any way. Please find below some info about the C-Reduce version and the machine.

All the best to you in those difficult times.

Best regards
Christoph

$creduce --version
creduce 2.9.0 (unknown)

(Installed via "sudo apt install creduce" on the latest Debian available on GCP.)

Machine: 
$uname --all
Linux micro-us-1 4.19.0-8-cloud-amd64 #1 SMP Debian 4.19.98-1 (2020-01-26) x86_64 GNU/Linux






On Wed, Jul 19, 2017 at 9:13 PM Yang Chen <chenyang@cs.utah.edu> wrote:
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.
>
>



--
Christoph Siedentop

Attachment: creduce_bug.tar.gz
Description: GNU Zip compressed data