Open AntonReinhard opened 2 months ago
The RNG used for node IDs has to be multithreaded but is currently very naively implemented and breaks with too many threads. Fix this by using a proper way to use multithreaded RNG.
See src/node/type.jl
src/node/type.jl
The RNG used for node IDs has to be multithreaded but is currently very naively implemented and breaks with too many threads. Fix this by using a proper way to use multithreaded RNG.
See
src/node/type.jl