diff options
author | 2022-03-18 17:05:53 +0000 | |
---|---|---|
committer | 2022-03-18 20:11:26 +0000 | |
commit | f56b007356c145e0ef56e3590a20771a98383748 (patch) | |
tree | f24fab71c5bcf5ff900be90bd18ea8accffb89d9 /src/vppinfra/pool.h | |
parent | 53d8d4fd625c21777d11172dac9ea3aa6602edd0 (diff) |
tests: fix the RND_SEED parsing
The random seed is not an integer, so the current code does not allow reproducing a test run by running e.g.
RND_SEED=1647595144.0940742 make test
Solution: make the random seed a positive float.
Also, add the missing positiveness check to the positive_integer function.
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Change-Id: I858bab0a9b828b99c20a2252aeecb9e2dda4ee21
Diffstat (limited to 'src/vppinfra/pool.h')
0 files changed, 0 insertions, 0 deletions