Projects using PropEr

[Pablo Costas Sánchez]

Hey Roberto,

Thanks for the tip on how to search more projects in Github. Didn't know
OTP itself was using PropEr, that'll be a good one to try.

The experimental fork is already on Github, at pablocostass/proper,
although I didn't mention it mainly because I still have to fix a thing or
two, but thanks for the interest!

Best regards,

Pablo Costas.

On Mon, Mar 9, 2020 at 6:35 PM Roberto Aloi <prof3ta@REDACTED> wrote:

> 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/4c1c9034/attachment.htm>