[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.


-----Original Message-----
From: John Regehr [mailto:regehr@cs.utah.edu]
Sent: Thursday, June 23, 2011 10:51 AM
To: Xuejun Yang
Cc: csmith-bugs@flux.utah.edu
Subject: Re: [csmith-bugs] another bug

I did a fresh build and the results are bit-for-bit identical with the
previous one.

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