In reply to sush:
See Why dist constraint doesnt produce exact solution? | Verification Academy
Also, use $urandom and $urandom_range instead of $random and $dist_uniform. They have much better distributions.
In reply to sush:
See Why dist constraint doesnt produce exact solution? | Verification Academy
Also, use $urandom and $urandom_range instead of $random and $dist_uniform. They have much better distributions.