[LLVMdev] testing ABCD?

[John Regehr]

Is the ABCD pass ready for stress testing?  If so, we can do some of this.

I guess it would be ready for stress testing if:

   - it already works fairly well for moderate-sized inputs

   - someone is willing to act on bug reports

Thanks,

John Regehr