<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: "Courier New", monospace; font-size: 10pt; color: rgb(0, 0, 0);">
The Erlang/OTP system itself uses proper in the nightly tests for the following applications:</div>
<div style="font-family: "Courier New", monospace; font-size: 10pt; color: rgb(0, 0, 0);">
<span><br>
</span></div>
<div style="font-family: "Courier New", monospace; font-size: 10pt; color: rgb(0, 0, 0);">
<span> compiler<br>
</span>
<div> crypto<br>
</div>
<div> ftp<br>
</div>
<div> ssh<br>
</div>
<div> ssl<br>
</div>
<div> stdlib<br>
</div>
<span></span></div>
<div style="font-family: "Courier New", monospace; font-size: 10pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: "Courier New", monospace; font-size: 10pt; color: rgb(0, 0, 0);">
/Hans<br>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>Från:</b> erlang-questions <erlang-questions-bounces@erlang.org> för Andreas Schultz <andreas.schultz@travelping.com><br>
<b>Skickat:</b> den 10 mars 2020 09:59<br>
<b>Till:</b> Pablo Costas Sánchez <pablo.costas.sanchez@gmail.com><br>
<b>Kopia:</b> erlang-questions <erlang-questions@erlang.org><br>
<b>Ämne:</b> Re: Projects using PropEr</font>
<div> </div>
</div>
<div>
<div dir="ltr">We have CT suites using proper on a few projects:
<div>
<ul>
<li><a href="https://github.com/travelping/pfcplib">https://github.com/travelping/pfcplib</a></li><li><a href="https://github.com/travelping/gtplib">https://github.com/travelping/gtplib</a><br>
</li><li><a href="https://github.com/travelping/ppp">https://github.com/travelping/ppp</a> (best use the modernize branch)</li></ul>
<div>They can be mode long running by upping the number of iterations.</div>
</div>
<div><br>
</div>
<div>Regards</div>
<div>Andreas</div>
</div>
<br>
<div class="x_gmail_quote">
<div dir="ltr" class="x_gmail_attr">Am Mo., 9. März 2020 um 17:51 Uhr schrieb Pablo Costas Sánchez <<a href="mailto:pablo.costas.sanchez@gmail.com">pablo.costas.sanchez@gmail.com</a>>:<br>
</div>
<blockquote class="x_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>
<br clear="all">
<div><br>
</div>
-- <br>
<div dir="ltr" class="x_gmail_signature">
<p><span style="font-family:verdana,geneva,sans-serif; font-size:10pt">Andreas Schultz</span></p>
<p><span style="font-family:verdana,geneva,sans-serif; font-size:10pt">-- </span></p>
<p><span style="font-family:verdana,geneva,sans-serif; font-size:8pt">Principal Engineer</span></p>
<p><span style="font-family:verdana,geneva,sans-serif; font-size:10.6667px">t: +49 391 819099-224
</span></p>
<p><span style="font-family:verdana,geneva,sans-serif; font-size:8pt"><span style="font-family:verdana,geneva,sans-serif; font-size:10.6667px"></span></span></p>
<p><span style="font-family:verdana,geneva,sans-serif; font-size:8pt">------------------------------- enabling your networks -----------------------------</span></p>
<table style="height:142px; width:550px">
<tbody>
<tr style="height:30px">
<td style="width:146px; height:30px">
<p><span style="font-family:verdana,geneva,sans-serif; color:rgb(34,34,34); font-size:8pt">Travelping GmbH <br>
</span><span style="font-family:verdana,geneva,sans-serif; color:rgb(34,34,34); font-size:8pt">Roentgenstraße 13<br>
</span><span style="font-family:verdana,geneva,sans-serif; color:rgb(34,34,34); font-size:8pt">39108 Magdeburg<br>
</span><span style="font-family:verdana,geneva,sans-serif; color:rgb(34,34,34); font-size:8pt">Germany<br>
<br>
</span></p>
</td>
<td style="width:162px; height:30px">
<p style="color:rgb(34,34,34); font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif; font-size:small; text-align:justify">
<span style="font-family:verdana,geneva,sans-serif; font-size:8pt">t: +49 391 819099-0<br>
</span><span style="font-family:verdana,geneva,sans-serif; font-size:8pt">f: +49 391 819099-299</span></p>
<p style="color:rgb(34,34,34); font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif; font-size:small; text-align:justify">
<span style="font-family:verdana,geneva,sans-serif; font-size:8pt">e: <a href="mailto:info@travelping.com" target="_blank">
info@travelping.com</a><br>
</span><span style="font-family:verdana,geneva,sans-serif; font-size:8pt">w: <a href="https://www.travelping.com/" target="_blank">https://www.travelping.com/</a></span></p>
</td>
</tr>
<tr style="height:17px">
<td style="width:146px; height:17px"><span style="font-size:8pt; font-family:verdana,geneva,sans-serif">Company registration: Amtsgericht Stendal <br>
Geschaeftsfuehrer: Holger Winkelmann<br>
</span></td>
<td style="width:162px; height:17px"><span style="font-size:8pt; font-family:verdana,geneva,sans-serif">Reg. No.: HRB 10578<br>
VAT ID: DE236673780</span></td>
</tr>
</tbody>
</table>
</div>
</div>
</body>
</html>