diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2022-03-18 17:05:53 +0000 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2022-03-18 20:11:26 +0000 |
| commit | f56b007356c145e0ef56e3590a20771a98383748 (patch) | |
| tree | f24fab71c5bcf5ff900be90bd18ea8accffb89d9 /src/vppinfra/sanitizer.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/sanitizer.h')
0 files changed, 0 insertions, 0 deletions