Csmith

[Michael Hope]

On Fri, Sep 2, 2011 at 1:46 AM, Andrew Stubbs <andrew.stubbs at 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