Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up320 contributions in the last year
Contribution activity
August 2018
Created an issue in whatyouhide/stream_data that received 1 comment
Integer Generator Values Bound by Run Size
It seems that values generated by the integer/1 generator are bound by :max_runs. E.g. if 100 then -100 =< integer/1 =< +100 (property test below).…
1
comment