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

Re: [creduce-bugs] creduce crash

John Regehr <regehr@cs.utah.edu> 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 Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX