<div dir="auto">You should also take a look at</div><div dir="auto">proper_gen:sample and sampleshrink ;)</div><div dir="auto"><br></div><div dir="auto">Also Fred Herbet’s <a href="http://propertesting.com">propertesting.com</a>!</div><div><br><div class="gmail_quote"><div>On Thu 17 May 2018 at 12:36, Ryan Maclear <<a href="mailto:ryanm@miranetworks.net">ryanm@miranetworks.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>Ah ok, that makes perfect sense. So manually calling the pick/1 function with just the type will always start with the Size parameter set to 10, but over time the internals would increase this for repeated calls, and thus stretching the sample space to the max range.<br><br></div><div>Thanks for clearing that up.<br></div><div><br></div><div>Kind Regards,<br></div><div>Ryan Maclear<br></div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On 17 May 2018 at 12:02, Jesper Louis Andersen <span><<a href="mailto:jesper.louis.andersen@gmail.com" target="_blank">jesper.louis.andersen@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><div>Most QuickCheck systems have an internal size parameter which is slowly increased over the course of testing. If you manually bump it by a lot, you get a better range:<br><br>16> proper_gen:pick(proper_types:resize(8000, proper_types:integer(0, 16#10ffff))).<br>{ok,5050}<br><br></div>However, I feel most of propers generators are botched and don't really check what they should. EQC Mini for instance:<br><br>5> eqc_gen:sample(eqc_gen:choose(0, 16#10ffff)).<br>482145<br>1062500<br>211296<br>269049<br>863625<br>4346<br>441921<br>719972<br>62442<br>703915<br>944194<br>ok<br><br></div>which is far more the range you would expect. Also note that the pick/1 function is kind of dangerous since it leads people down a path where their generators have less randomness than they should have. The right solution often involves ?LET(X, generator(), <[X] E x>) and friends.<br><br><br></div><br><div class="gmail_quote"><div><div class="m_5825967617715729406h5"><div>On Thu, May 17, 2018 at 11:34 AM Ryan Maclear <<a href="mailto:ryanm@miranetworks.net" target="_blank">ryanm@miranetworks.net</a>> wrote:<br></div></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="m_5825967617715729406h5"><div>Appologies, I hit send before finisinh the email. Here is the complete mail:<br><br><div><div><div><div><div><div><div><div><span style="font-family:arial,helvetica,sans-serif">I'm busy learning to use proper and have the following issue. When calling the function<br><code><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-nn"><br></span></code></span>From the API docs, the char() type has a range of 0 to (1114111) 16#10ffff.<br></div></div><span style="font-family:arial,helvetica,sans-serif"><br>When calling the function<br><code><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-nn"><br>proper_gen</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-p">:</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-nf">pick</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-p">(</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-nn">proper_types</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-p">:</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-nf">term</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460gmail-m_7209538006811084840gmail-tok-p">()).</span></code></span><br><br>manually
 many times (I've tried in around 3000 times) and on different VMs, the 
function always seems to return only one of the following values:<br><br></div>{ok,0},<br></div>{ok,2},<br></div>{ok,3},<br></div>{ok,6}<br></div>{ok,12} and<br></div><div>{ok,13}<br><br></div><div>I see the same behaviour for <br><br>proper_gen:pick(proper_types:range(0,16#10ffff)).<br><br></div><div>which I believe is equivalent.<br></div><div><br></div><div>I have tried on erlang 19.3.6.9, erlang 20.3.6 on a Mac as well as on a ubuntu trusty docker image with erlang 19.3.<br></div><div><br></div><div>In all three vms I see the same set of results being returned. <br><br></div><div>Is there something else I need to do before calling this function?<br><br></div><div>Thanks,<br></div><div>Ryan</div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On 17 May 2018 at 11:07, Ryan Maclear <span><<a href="mailto:ryanm@miranetworks.net" target="_blank">ryanm@miranetworks.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><div><div><div><div><div><div><div><div><span style="font-family:arial,helvetica,sans-serif">Good Day,<br><br></span></div><span style="font-family:arial,helvetica,sans-serif">I'm busy learning to use proper and have the following issue. When calling the function<br><code><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-nn"><br></span></code></span>From the API docs, the char() type has a range of 0 to (1114111) 16#10ffff.<br></div></div><span style="font-family:arial,helvetica,sans-serif"><br>When calling the function<br><code><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-nn"><br>proper_gen</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-p">:</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-nf">pick</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-p">(</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-nn">proper_types</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-p">:</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-nf">term</span><span class="m_5825967617715729406m_-2666291142504799431m_293122381163732460m_7209538006811084840gmail-tok-p">()).</span></code></span><br><br>manually many times (I've tried in around 3000 times) and on different VMs, the function always seems to return only one of the following values:<br><br></div>{ok,0},<br></div>{ok,2},<br></div>{ok,3},<br></div>{ok,6}<br></div>{ok,12} and<br></div><div>{ok,13}<br><br></div><div>I see the same behaviour for <br><br></div><div><br></div><div>I have tried on erlang 19.3.6.9, erlang 20.3.6 on a Mac as well as on a ubuntu trusty docker image with erlang 19.3.<br></div><div><br></div><div>In all three vms I see the same set of results being returned. <br><br></div><div>Is there something else I need to do before calling this function?<br><br></div><div>Thanks,<br></div><div>Ryan<br></div></div>
</blockquote></div><br></div></div></div>
_______________________________________________<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/listinfo/erlang-questions</a><br>
</blockquote></div>
</blockquote></div><br></div>
_______________________________________________<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/listinfo/erlang-questions</a><br>
</blockquote></div></div>-- <br><div dir="ltr" class="gmail_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>