[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] csmith test harness help

On Apr 13, 2011, at 10:36 PM, John Regehr wrote:

> Also we currently we have no open repo, but can definitely do this.  Do you have a preference?  Github seems to be popular...

Yes, github, please.

Have you guys done anything with splint or other static analyzers?


Andy Lester => andy@petdance.com => www.techworklove.com => AIM:petdance