<div><br></div><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 17 Aug 2022 at 06:58 Juan Vuletich <<a href="mailto:juan@cuis.st">juan@cuis.st</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div bgcolor="#ffffff" text="#000000">
    I see. You need to be careful when a test fails. Perhaps it would be
    best to also include a list of seeds to always be included, and when
    a test fails, you add that seed to the list. This way, it is still
    useful as a regression test (as deterministic tests are).</div></blockquote><div dir="auto"><br></div><div dir="auto">Yes, good point. If a test fails because it found some random example that breaks, I usually write a new deterministic test for that particular example, and I simplify it (I try to find the simplest way to trigger it). But it’s a good idea to collect the seeds that make tests fail, I’ll try it, thanks!</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div bgcolor="#ffffff" text="#000000" dir="auto"></div><div bgcolor="#ffffff" text="#000000"><br>
    <br>
    Cheers,<br>
    <pre cols="72" style="font-family:monospace">-- 
Juan Vuletich
<a href="http://cuis.st" target="_blank" style="font-family:monospace">cuis.st</a>
<a href="http://github.com/jvuletich" target="_blank" style="font-family:monospace">github.com/jvuletich</a>
<a href="http://researchgate.net/profile/Juan-Vuletich" target="_blank" style="font-family:monospace">researchgate.net/profile/Juan-Vuletich</a>
<a href="http://independent.academia.edu/JuanVuletich" target="_blank" style="font-family:monospace">independent.academia.edu/JuanVuletich</a>
<a href="http://patents.justia.com/inventor/juan-manuel-vuletich" target="_blank" style="font-family:monospace">patents.justia.com/inventor/juan-manuel-vuletich</a>
<a href="http://linkedin.com/in/juan-vuletich-75611b3" target="_blank" style="font-family:monospace">linkedin.com/in/juan-vuletich-75611b3</a>
<a href="http://twitter.com/JuanVuletich" target="_blank" style="font-family:monospace">twitter.com/JuanVuletich</a></pre>
  </div>

</blockquote></div></div>