diff options
author | Klement Sekera <ksekera@cisco.com> | 2019-11-05 11:18:25 +0000 |
---|---|---|
committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2019-11-18 13:17:57 +0000 |
commit | fc000f0e1d61a9361e364a8f757e416fad7883b7 (patch) | |
tree | c579b945cd990f477d9c55c66c24893da6205e1a /test/Makefile | |
parent | 329c884aa27398523377736f51a2694ec2c4820d (diff) |
tests: support setting random seed
Log the random seed used when running tests and provide means to re-use
it in a later run.
Type: feature
Change-Id: I18d2a36ee802b901d4cca5577df41cec07f09cc0
Signed-off-by: Klement Sekera <ksekera@cisco.com>
(cherry picked from commit 45a95dd782b91e9ae5665b5f95be4b6d7f99b879)
Diffstat (limited to 'test/Makefile')
-rw-r--r-- | test/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index abc611c44d9..2a09bcc6d24 100644 --- a/test/Makefile +++ b/test/Makefile @@ -341,6 +341,8 @@ help: @echo "" @echo " SOCKET=1 - Communicate with VPP over Unix domain socket instead of SHM" @echo "" + @echo " RND_SEED=seed - Seed RND with given seed" + @echo "" @echo "Creating test documentation" @echo " test-doc - generate documentation for test framework" @echo " test-wipe-doc - wipe documentation for test framework" |