Semi-related: is there a trivial way to change the "killed" message, as printed in case of a timeout, to something more helpful? Without modifying the check framework, I mean.
« Back to merge proposal
Semi-related: is there a trivial way to change the "killed" message, as printed in case of a timeout, to something more helpful? Without modifying the check framework, I mean.