kostis
commented
4 years ago I created a single program in Elixir/PropCheck that expose this: (This is not problem of PropCheck, but it was easier for me to create example program.)
It's also easier for me to reply in Greek rather than English, but you probably would not like that, right? PropEr is a Property-Based Testing tool for Erlang.
Either supply an Erlang program that shows the problem you are experiencing (so that we can easily reproduce and debug this) or report this in the PropCheck repository instead.
SylwBar
manopapad
There is a define that differentiates how integer(min, max) generator works: It is defined in proper_internal.hrl -define(SMALL_RANGE_THRESHOLD, 16#FFFF).
I created a single program in Elixir/PropCheck that expose this: (This is not problem of PropCheck, but it was easier for me to create example program.)
For ranges below the threshold generated numbers are not affected by size parameter:
However, for ranges greater than ?SMALL_RANGE_THRESHOLD, this function should work in other way. According to proper_arith.erl: %% When the range is large, skew the distribution to be more like that of an %% unbounded random integer.
The problem is that numbers generated this way are very low compared to range. Here is example that shows that even for sizes close to max_size = 42 (default).
If we tweak max_size to bigger value:
We will get bigger numbers, but this is not workaround, because max_size should be different for each range. For the same max_size bigger range will generate too small numbers:
I don't know how to generate bigger numbers using integer(min, max) generator. I guess this is bug in code - max_size parameter should be also taken into account when large integer numbers are generated.