Projects using PropEr

[Pablo Costas Sánchez]

Nice! Thanks for the tip on the script option.

On Mon, Mar 9, 2020 at 6:19 PM Michael Truog <mjtruog@REDACTED> wrote:

> Hi Pablo,
>
> The main CloudI repository has a PropEr test for cloudi_service_quorum if
> NUMTESTS is tweaked at
>
> https://github.com/CloudI/CloudI/blob/develop/src/lib/cloudi_service_quorum/test_ct/cloudi_service_quorum_SUITE.erl#L36
>
> The CLOUDI_LONG_TEST_TIMEOUT can be set through the configure script
> option
> --with-long-test-timeout .  The cloudi_service_quorum PropEr test is then
> ran with "make tests" if enabled with the configure flag
> --with-long-test-timeout .  The PropEr source code used is in the
> src/external/proper path with the version information at
> https://github.com/CloudI/CloudI/tree/develop/src/external#erlang-proper .
>
> Best Regards,
> Michael
>
> On 3/9/20 9:33 AM, Pablo Costas Sánchez wrote:
>
> Hi everyone,
>
> I'm a CS undergrad student currently expanding PropEr to allow
> parallelized and distributed testing as my final project.
>
> 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).
>
> Best regards,
> Pablo Costas.
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20200309/ce316984/attachment.htm>