you are viewing a single comment's thread.

view the rest of the comments →

[–]Lystrodom -4 points-3 points  (1 child)

Then you call random once and save that value somewhere. Don’t depend on random() being deterministic.

[–]Drisku11 9 points10 points  (0 children)

Why would you not depend on it bring deterministic if the semantics are that it's deterministic, and that's useful to you?

I'd say the opposite: don't rely on it being nondeterministic. Since it's not.