-
Hans-Peter Deifel authored
Otherwise states get one of 2^64 different values in the initial partition, meaning that they will be distinguished already.
1c27a61a
Otherwise states get one of 2^64 different values in the initial partition, meaning that they will be distinguished already.