<div dir="ltr">As an aside: another fantastic property testing library I stumbled across is Hypothesis (<a href="https://hypothesis.works/">https://hypothesis.works/</a>).  Written in Python, but applicable to other languages as well as an external runner.  It's another tool in the toolbox for those of us with polyglot systems, and the principles in Fred's book are broadly applicable with Hypothesis as well.<div><br></div><div>F.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 9, 2018 at 11:52 PM, Pierre Fenoll <span dir="ltr"><<a href="mailto:pierrefenoll@gmail.com" target="_blank">pierrefenoll@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto">Amazing! Hopefully this will change the state of testing at large a little!</div></div><div dir="auto">Just bought it :)</div><div><br><div class="gmail_quote"><div dir="ltr">On Thu 9 Aug 2018 at 22:29, Max Lapshin <<a href="mailto:max.lapshin@gmail.com" target="_blank">max.lapshin@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">Excellent, thanks!</div><div class="gmail_extra"><br></div><div class="gmail_extra">Have just purchased.</div></div><span class="">
______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
</span></blockquote></div></div><span class="HOEnZb"><font color="#888888">-- <br><div dir="ltr" class="m_-5558536113435763784gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div><br></div><div>Cheers,</div><div>-- </div><div>Pierre Fenoll</div></div><div><br></div></div></div>
</font></span><br>______________________________<wbr>_________________<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" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div>