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