On Thu, 2 Mar 2023 22:18:53 GMT, Joe Darcy <da...@openjdk.org> wrote:
> There are fairly standard idioms to get a random number generator from the > test library and use it in the test. > > I'd prefer to see that approach taken here, with an update to use the jtreg > "@randomness" tag in the appropriate place. So changed in ca998b8e7e5d293a9d2727cb2b074551e7a017a7. The `@randomness` tag was already there for other reasons. ------------- PR: https://git.openjdk.org/jdk/pull/12819
