-
Erwan Jahier authored
Note that it triggered a bug in the use of Random.int: it cannot be use on max_int, as its max admissible value is 2^30, and max_int=2^62 on 64 bits arch!!
ea78ff30
Note that it triggered a bug in the use of Random.int: it cannot be use on max_int, as its max admissible value is 2^30, and max_int=2^62 on 64 bits arch!!