<div dir="ltr">Nice! Thanks for the tip on the script option.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 9, 2020 at 6:19 PM Michael Truog <<a href="mailto:mjtruog@gmail.com">mjtruog@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF">
    <div>Hi Pablo,</div>
    <div><br>
    </div>
    <div>The main CloudI repository has a PropEr
      test for cloudi_service_quorum if NUMTESTS is tweaked at</div>
    <div><a href="https://github.com/CloudI/CloudI/blob/develop/src/lib/cloudi_service_quorum/test_ct/cloudi_service_quorum_SUITE.erl#L36" target="_blank">https://github.com/CloudI/CloudI/blob/develop/src/lib/cloudi_service_quorum/test_ct/cloudi_service_quorum_SUITE.erl#L36</a></div>
    <div><br>
    </div>
    <div>The <span>CLOUDI_LONG_TEST_TIMEOUT
        can be set through the configure script option </span><br>
      <span><span>--with-long-test-timeout . 
          The cloudi_service_quorum PropEr test is then ran with "make
          tests" if enabled with the configure flag </span></span><br>
      <span><span><span><span>--with-long-test-timeout .  The PropEr source
              code used is in the src/external/proper path with the
              version information at</span></span></span></span></div>
    <div><span><span><span><span><a href="https://github.com/CloudI/CloudI/tree/develop/src/external#erlang-proper" target="_blank">https://github.com/CloudI/CloudI/tree/develop/src/external#erlang-proper</a>
              .</span></span></span></span></div>
    <div><span><span><span><span><br>
            </span></span></span></span></div>
    <div><span><span><span><span>Best Regards,</span></span></span></span></div>
    <div><span><span><span><span>Michael<br>
            </span></span></span></span></div>
    <div><br>
    </div>
    <div>On 3/9/20 9:33 AM, Pablo Costas Sánchez
      wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="ltr">Hi everyone,
        <div><br>
          <div>I'm a CS undergrad student currently expanding PropEr to
            allow parallelized and distributed testing as my final
            project.</div>
          <div><br>
          </div>
          <div>I'm at the point where I'm about to start measuring the
            speedup of my patched PropEr, but I'm lacking enough
            projects using PropEr to start judging the execution times
            of either version, so I was wondering if you knew of any
            open-source project using PropEr (bonus points if their
            property-based tests take a long time to finish).<br>
          </div>
        </div>
        <div><br>
        </div>
        <div>Best regards,</div>
        <div>Pablo Costas.</div>
      </div>
    </blockquote>
    <p><br>
    </p>
  </div>

</blockquote></div>