tree f24fab71c5bcf5ff900be90bd18ea8accffb89d9
parent 53d8d4fd625c21777d11172dac9ea3aa6602edd0
author Andrew Yourtchenko <ayourtch@gmail.com> 1647623153 +0000
committer Dave Wallace <dwallacelf@gmail.com> 1647634286 +0000

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