diff options
| author | Eyal Soha <eyalsoha@google.com> | 2020-03-04 00:14:41 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-03-04 00:15:49 -0800 |
| commit | ef1219c1451a75916693a54ddad39d04cf763d90 (patch) | |
| tree | 1db58ad611496fa889a0f704f9539814f0c31d32 /benchmarks | |
| parent | d949c33143bd934a42d6a0645483d32526d858a2 (diff) | |
Use shuf instead of $RANDOM everywhere.
$RANDOM can cause collisions but shuf uses /dev/urandom so it ought to cause
fewer.
PiperOrigin-RevId: 298786344
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions