<div dir="ltr">Hey Roberto,<div><br></div><div>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.</div><div><br></div><div>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!</div><div><br></div><div>Best regards,</div><div><br></div><div>Pablo Costas.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 9, 2020 at 6:35 PM Roberto Aloi <<a href="mailto:prof3ta@gmail.com">prof3ta@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 dir="ltr">Hi Pablo!<br><br>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:<br><br>-include_lib("proper/include/proper.hrl").<br><span style="color:rgb(36,41,46);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,monospace;font-size:12px;white-space:pre-wrap">
</span>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).<br><br>OTP itself seems to have some property based tests. See: <a href="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." target="_blank">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.</a><br><br>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.<br><br>Good luck with your project!<br><br>Roberto</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 9 Mar 2020 at 17:51, Pablo Costas Sánchez <<a href="mailto:pablo.costas.sanchez@gmail.com" target="_blank">pablo.costas.sanchez@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 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></div>
</blockquote></div>