Re: Csmith

On Fri, Sep 2, 2011 at 1:46 AM, Andrew Stubbs andrew.stubbs@gmail.com 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-linaro-4.6-2011.08 at -O2 and -O3. 772 tests so far and no faults. I'll leave it running over the weekend.

I quite like the big red warnings on the 'using' page[1].

-- Michael [1] http://embed.cs.utah.edu/csmith/using.html