[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-bugs] another bug
Excellent-- two bugs for the price of one.
On 6/23/11 12:57 PM, Xuejun Yang wrote:
Alright, I figured out why. I always run Csmith as "csmith<options> >
outfile", and your command was "Csmith<options> --output outfile". I
reproduced the problem with --output. Now I need to figure out why these two
commands produced diff. outputs.
From: John Regehr [mailto:firstname.lastname@example.org]
Sent: Thursday, June 23, 2011 10:51 AM
To: Xuejun Yang
Subject: Re: [csmith-bugs] another bug
I did a fresh build and the results are bit-for-bit identical with the
Csmith gives me a different random program.
Your Csmith gives you a different random program, or my Csmith does?
You can run mine from ~regehr/csmith/src/csmith