Re: [PATCH] allow tests to distinguish CRASHED and ABORTED