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

Re: [csmith-dev] Fwd: Re: csmith test harness help

> Nope!  But let's be clear: although Csmith includes a static analyzer,
> it is only in service of generating a useful test case.  The actual
> compiler testing is 100% dynamic: we run compilers and look for problems.

No, I understand.  It's still always good to run one's code through as stringent a static analysis tool (splint, -Wall and then some, etc) as possible, no?


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