When the current seed of the pseudo-random generator is queried
with CALL RANDOM_SEED(GET=n), that query should not change the
stream of pseudo-random numbers produced by CALL RANDOM_NUMBER().
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo