[LLVMdev] Validating LLVM

[John Regehr]

> validation runs. That way you get the benefits of random testing
> without spurious changes in validation status dependent on randomly
> generated tests.

Sounds great.  I'm not trying to push random testing on people who don't 
want it, but I think it is useful to the LLVM project and it's not clear 
that I have the resources to keep doing it myself indefinitely.

The tools are, I think, to the point where they can be pushed into an 
automated build/test loop, which is what I'm aiming for.  If this testing 
is done continuously and for several targets then more regressions can be 
squashed while they're fresh.

John Regehr