Projects using PropEr

[Roberto Aloi]

Hi Pablo!

One quick and dirty way to look for Erlang projects using PropEr would be
to use the GitHub search box and look for occurrences of:

-include_lib("proper/include/proper.hrl").
Unfortunately GitHub does not seem to provide the ability of sorting
projects by stars while searching, so one would need to scan the list of
results and look for good candidates (unless you are willing to create a
script which does just that).

OTP itself seems to have some property based tests. See:
https://github.com/erlang/otp/search?q=-include_lib%28%22proper%2Finclude%2Fproper.hrl%22%29.&unscoped_q=-include_lib%28%22proper%2Finclude%2Fproper.hrl%22%29.

Another approach could be to publish an experimental branch/fork of PropEr
with your improvements. That would enable other interested parties to try
your work out on their private repositories and give you feedback.

Good luck with your project!

Roberto

On Mon, 9 Mar 2020 at 17:51, Pablo Costas Sánchez <
pablo.costas.sanchez@REDACTED> 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/c0a3c2b0/attachment.htm>