John Regehr <[email protected]> writes: > Ok, I pushed a fix for this to master, would you mind testing it out, Dmitry? > > The fix is to abort with a message saying what happened. I don't believe > there's any point in attempting to continue a reduction when our basic > mechanism is failing.
I didn't look at the patch, but maybe it would make sense to retry the fork? Eric. -- ------------------------------------------------------------------------------- Eric Eide <[email protected]> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
