Re: Csmith

2011-09-04 Thread Michael Hope
On Fri, Sep 2, 2011 at 3:21 PM, Michael Hope wrote: > On Fri, Sep 2, 2011 at 1:46 AM, Andrew Stubbs wrote: >> Do we know anything about "Csmith"? >> >> Maybe we should try it? > > I couldn't resist having a go.  It's Friday afternoon after all. > > I put on my end user hat, built csmith 2.0, fixe

Re: Csmith

2011-09-01 Thread Michael Hope
On Fri, Sep 2, 2011 at 1:46 AM, Andrew Stubbs wrote: > Do we know anything about "Csmith"? > > Maybe we should try it? I couldn't resist having a go. It's Friday afternoon after all. I put on my end user hat, built csmith 2.0, fixed the x86 assembly code, and started it running against gcc-lina