<div dir="ltr">"<span style="font-family:arial,sans-serif;font-size:13px">common_test: Experimental support for running Quickcheck and PropEr tests from common_test suites is added. Examples of usage in the suites for the ssh and inets applications"</span><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif">Huh?</font></div><div><font face="arial, sans-serif">The docs (<a href="http://erldocs.com/maint/common_test/ct_property_test.html">http://erldocs.com/maint/common_test/ct_property_test.html</a>) are delightfully cryptic, as is the example code (<a href="https://github.com/erlang/otp/blob/maint/lib/ssh/test/ssh_property_test_SUITE.erl">https://github.com/erlang/otp/blob/maint/lib/ssh/test/ssh_property_test_SUITE.erl</a>)</font></div><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif">So, what *does* this do that I wasn't already doing vis-a-vis PropEr?</font></div><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif">cheers</font></div><div><font face="arial, sans-serif"><br></font><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Kenneth Lundin</b> <span dir="ltr"><<a href="mailto:kenneth.lundin@gmail.com">kenneth.lundin@gmail.com</a>></span><br>Date: Wed, Sep 17, 2014 at 6:21 AM<br>Subject: [erlang-questions] [ANN] Erlang/OTP 17.3 has been released<br>To: Erlang Users' List <<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>>, <a href="mailto:erlang-announce@erlang.org">erlang-announce@erlang.org</a><br><br><br><div dir="ltr"><div dir="ltr"><div>Erlang/<span>OTP</span> <span>17.3</span> <span></span><span>has</span> been released.<br></div>
<div dir="ltr"><div><div>
<br>Erlang/<span>OTP</span> <span>17.3</span> is a service release on
the 17 track with mostly bug fixes, but it does contain a number of new
features and characteristics improvements as well. <br><br></div>
<div><div>Some highlights of the release are:<br><ul><li>erts: Introduced enif_schedule_nif() which allows a long running NIF to be broken into separate NIF invocations without the help of a wrapper function written in Erlang<br></li><li>common_test: Experimental support for running Quickcheck and PropEr tests from common_test suites is added. Examples of usage in the suites for the ssh and inets applications<br></li><li>Bugfixes and minor new features in applications such as asn1, erts, kernel, stdlib, diameter, ssh, mnesia, ssl, jinterface, ... <br></li></ul>Many thanks to 20 different contributors in this release<br><br>
<div>
<p>
You can find the README file with more detailed info at <a href="http://www.erlang.org/download/otp_src_17.3.readme" target="_blank">http://www.erlang.org/download/otp_src_17.3.readme</a></p>
<p>
You can download the full source distribution from <a href="http://www.erlang.org/download/otp_src_17.3.tar.gz" target="_blank">http://www.erlang.org/download/otp_src_17.3.tar.gz</a></p>
</div></div></div></div><div><div><div><p>
Note: To unpack the TAR archive you need a GNU TAR compatible program.
For installation instructions please <span></span>read the README that is part of the
distribution.</p></div><div>
<p>
You can also find this release at the official Erlang/<span>OTP</span> Git-repository at Github here: <a href="https://github.com/erlang/otp" target="_blank">https://github.com/erlang/<span>otp</span></a> tagged "<span>OTP</span>-<span>17.3</span>"<span></span></p>
<div>
<p>
The Windows binary distribution can be downloaded from</p>
<p>
<a href="http://www.erlang.org/download/otp_win32_17.3.exe" target="_blank">http://www.erlang.org/download/otp_win32_17.3.exe</a> <br></p><p><a href="http://www.erlang.org/download/otp_win64_17.3.exe" target="_blank"> http://www.erlang.org/download/otp_win64_17.3.exe </a></p>
<p>
You can also download the complete HTML documentation or the Unix manual files <br></p><p><a href="http://www.erlang.org/download/otp_doc_html_17.3.tar.gz" target="_blank">http://www.erlang.org/download/otp_doc_html_17.3.tar.gz</a> <br>
<a href="http://www.erlang.org/download/otp_doc_man_17.3.tar.gz" target="_blank">http://www.erlang.org/download/otp_doc_man_17.3.tar.gz</a></p>
<p>
We also want to thank those that sent us patches, suggestions and bug reports.</p>
<p>
The Erlang/<span>OTP</span> Team at Ericsson</p></div></div></div></div></div></div></div>
<br>_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><div style="font-family:Helvetica;word-wrap:break-word"><div style="margin:0in 0in 0.0001pt"><font color="#1f497d" face="Calibri, sans-serif"><span style="font-size:15px"><b><div style="font-style:italic;margin:0px;font-family:Calibri"><b style="color:rgb(17,85,204)"><a href="http://www.gravatar.com/avatar/204a87f81a0d9764c1f3364f53e8facf.png" style="color:rgb(17,85,204)" target="_blank">Mahesh Paolini-Subramanya</a></b></div><div style="margin:0px;font-family:Calibri"><span style="font-weight:normal">That tall bald Indian guy..</span><br></div></b></span></font></div></div><div style="font-family:Helvetica;word-wrap:break-word"><div style="margin:0in 0in 0.0001pt"><font color="#1f497d" face="Calibri, sans-serif"><span style="font-size:15px"><b><div style="margin:0px;font-family:Calibri"><div style="font-family:Helvetica;word-wrap:break-word"><div style="margin:0in 0in 0.0001pt;font-size:12pt;font-family:'Times New Roman',serif"><span style="font-size:11pt;font-family:Calibri,sans-serif"><div style="margin:0px;font-family:Calibri;color:rgb(1,108,226)"><a href="https://plus.google.com/u/0/108074935470209044442/posts" style="color:rgb(17,85,204)" target="_blank">Google+</a><span style="color:rgb(31,73,125)"> | <a href="http://dieswaytoofast.blogspot.com/" style="color:rgb(17,85,204)" target="_blank"><span style="color:rgb(1,108,226)">Blog</span></a></span> <span style="color:rgb(31,73,125)"> | <span style="color:rgb(1,108,226)"><a href="https://twitter.com/dieswaytoofast" style="color:rgb(17,85,204)" target="_blank">Twitter</a></span></span><span style="color:rgb(31,73,125)"> | </span><a href="http://www.linkedin.com/in/dieswaytoofast" style="color:rgb(17,85,204)" target="_blank">LinkedIn</a></div></span></div></div></div></b></span></font></div></div></div>
</div></div>