summaryrefslogtreecommitdiffstats
path: root/src/vppinfra
diff options
context:
space:
mode:
authorAndrew Yourtchenko <ayourtch@gmail.com>2022-03-18 17:05:53 +0000
committerDave Wallace <dwallacelf@gmail.com>2022-03-18 20:11:26 +0000
commitf56b007356c145e0ef56e3590a20771a98383748 (patch)
treef24fab71c5bcf5ff900be90bd18ea8accffb89d9 /src/vppinfra
parent53d8d4fd625c21777d11172dac9ea3aa6602edd0 (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')
0 files changed, 0 insertions, 0 deletions