tests: fix the RND_SEED parsing 14/35714/2
authorAndrew Yourtchenko <ayourtch@gmail.com>
Fri, 18 Mar 2022 17:05:53 +0000 (17:05 +0000)
committerDave Wallace <dwallacelf@gmail.com>
Fri, 18 Mar 2022 20:11:26 +0000 (20:11 +0000)
commitf56b007356c145e0ef56e3590a20771a98383748
treef24fab71c5bcf5ff900be90bd18ea8accffb89d9
parent53d8d4fd625c21777d11172dac9ea3aa6602edd0
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
test/config.py