Hi,<div><br></div><div>Thanks a lot for the release :)</div><div><br></div><div>I have a question about the GPL licensing of the tool itself: since it is GPL, doesn't it require to make the written tests themselves and to some extent the application under test GPL as well?</div>
<div><br></div><div>I'm obviously not a lawyer, but I'd like to know whether it would be possible to test commercial code using PropEr given its GPL licensing?</div><div><br></div><div>Thanks again,</div><div>Francis</div>
<div><br><div class="gmail_quote">On Sun, Jun 12, 2011 at 9:23 AM, Kostis Sagonas <span dir="ltr"><<a href="mailto:kostis@cs.ntua.gr">kostis@cs.ntua.gr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
We are happy to announce the first official public release of PropEr, a QuickCheck-inspired Property-Based Testing Tool for Erlang.<br>
<br>
The release comes with a proper site containing a User Guide, tips and tutorials for PropEr.  It can be accessed at:<br>
<br>
        <a href="http://proper.softlab.ntua.gr/" target="_blank">http://proper.softlab.ntua.gr/</a><br>
<br>
Among other things, it has a proper contact address on which we will be very happy to receive comments and feedback. Depending on interest, we may also set up a mailing list for PropEr users.<br>
<br>
Enjoy!<br><font color="#888888">
<br>
Kostis Sagonas (on behalf of the PropEr developers)<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">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>
</font></blockquote></div><br></div>