testing ABCD?

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


John Regehr


Thanks for the offer, but ABCD is not ready for prime-time at this state. It still doesn't pass large swaths of the nightly testsuite.