[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [csmith-bugs] another bug
To
: Xuejun Yang <
jxyang@cs.utah.edu
>
Subject
: Re: [csmith-bugs] another bug
From
: John Regehr <
regehr@cs.utah.edu
>
Date
: Thu, 23 Jun 2011 10:50:57 -0600
Cc
:
csmith-bugs@flux.utah.edu
In-reply-to
: <
000901cc31c3$b63a0060$22ae0120$@utah.edu
>
List-archive
: </listarchives/csmith-bugs>
List-help
: <
mailto:csmith-bugs-request@flux.utah.edu?subject=help
>
List-id
: Csmith Bugs Mailing List <csmith-bugs.flux.utah.edu>
List-post
: <
mailto:csmith-bugs@flux.utah.edu
>
List-subscribe
: <
http://www.flux.utah.edu/mailman/listinfo/csmith-bugs
>, <
mailto:csmith-bugs-request@flux.utah.edu?subject=subscribe
>
List-unsubscribe
: <
http://www.flux.utah.edu/mailman/listinfo/csmith-bugs
>, <
mailto:csmith-bugs-request@flux.utah.edu?subject=unsubscribe
>
References
: <
4E029412.5010502@cs.utah.edu
> <
021101cc315d$61e970b0$25bc5210$@utah.edu
> <
4E02C107.4090904@cs.utah.edu
> <
021501cc3161$4ca87940$e5f96bc0$@utah.edu
> <
19971.17992.888693.914383@bas.flux.utah.edu
> <
4E03473A.5060409@cs.utah.edu
> <
000901cc31c3$b63a0060$22ae0120$@utah.edu
>
User-agent
: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.17) Gecko/20110424 Thunderbird/3.1.10
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
Follow-Ups
:
Re: [csmith-bugs] another bug
From:
"Xuejun Yang" <jxyang@cs.utah.edu>
References
:
[csmith-bugs] another bug
From:
John Regehr <regehr@cs.utah.edu>
Re: [csmith-bugs] another bug
From:
"Xuejun Yang" <jxyang@cs.utah.edu>
Re: [csmith-bugs] another bug
From:
John Regehr <regehr@cs.utah.edu>
Re: [csmith-bugs] another bug
From:
"Xuejun Yang" <jxyang@cs.utah.edu>
Re: [csmith-bugs] another bug
From:
Eric Eide <eeide@cs.utah.edu>
Re: [csmith-bugs] another bug
From:
John Regehr <regehr@cs.utah.edu>
Re: [csmith-bugs] another bug
From:
"Xuejun Yang" <jxyang@cs.utah.edu>
Prev by Date:
Re: [csmith-bugs] another bug
Next by Date:
Re: [csmith-bugs] another bug
Previous by thread:
Re: [csmith-bugs] another bug
Next by thread:
Re: [csmith-bugs] another bug
Index(es):
Date
Thread