<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#330033" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">On 10/29/2018 3:07 PM, Greg Ewing

      wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:5BD78484.3050208@canterbury.ac.nz">When

      I have a bug that only happens after hours of run

      <br>

      time, I try to find a much shorter test case that reproduces

      <br>

      it.

      <br>

      <br>

    </blockquote>

    Mmm. Yeah.  But that's often a guessing game, with a low chance of

    success.<br>

  </body>

</html>