Re: [csmith-bugs] another bug

["Xuejun Yang" <jxyang@cs.utah.edu>]

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.

-Xuejun

> -----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
> 
> John