Sv: Projects using PropEr

Hans Nilsson R hans.r.nilsson@REDACTED
Tue Mar 10 10:10:52 CET 2020


The Erlang/OTP system itself uses proper in the nightly tests for the following applications:

 compiler
 crypto
 ftp
 ssh
 ssl
 stdlib

/Hans
________________________________
Från: erlang-questions <erlang-questions-bounces@REDACTED> för Andreas Schultz <andreas.schultz@REDACTED>
Skickat: den 10 mars 2020 09:59
Till: Pablo Costas Sánchez <pablo.costas.sanchez@REDACTED>
Kopia: erlang-questions <erlang-questions@REDACTED>
Ämne: Re: Projects using PropEr

We have CT suites using proper on a few projects:

  *   https://github.com/travelping/pfcplib
  *   https://github.com/travelping/gtplib
  *   https://github.com/travelping/ppp (best use the modernize branch)

They can be mode long running by upping the number of iterations.

Regards
Andreas

Am Mo., 9. März 2020 um 17:51 Uhr schrieb Pablo Costas Sánchez <pablo.costas.sanchez@REDACTED<mailto:pablo.costas.sanchez@REDACTED>>:
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.


--

Andreas Schultz

--

Principal Engineer

t: +49 391 819099-224

------------------------------- enabling your networks -----------------------------

Travelping GmbH
Roentgenstraße 13
39108 Magdeburg
Germany


t: +49 391 819099-0
f: +49 391 819099-299

e: info@REDACTED<mailto:info@REDACTED>
w: https://www.travelping.com/

Company registration: Amtsgericht Stendal
Geschaeftsfuehrer: Holger Winkelmann
Reg. No.: HRB 10578
VAT ID: DE236673780
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20200310/80aa021b/attachment.htm>


More information about the erlang-questions mailing list