diff options
author | Ian Campbell <ian.campbell@citrix.com> | 2012-03-01 12:26:13 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2012-03-01 12:26:13 +0000 |
commit | cad39d78f05280ce17b224df73b3fad4078e5a9d (patch) | |
tree | 8c6d6ce4d28f829aa9bb7664aafd1086a0a91299 /tools/libxl/gentest.py | |
parent | b14793cc5f3714b1c6ead00008f5250404c48307 (diff) | |
download | xen-cad39d78f05280ce17b224df73b3fad4078e5a9d.tar.gz xen-cad39d78f05280ce17b224df73b3fad4078e5a9d.tar.bz2 xen-cad39d78f05280ce17b224df73b3fad4078e5a9d.zip |
libxl: allow specification of testidl random seed.
Useful if you are interested in before/after results of changing the IDL or
generator.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'tools/libxl/gentest.py')
-rw-r--r-- | tools/libxl/gentest.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/libxl/gentest.py b/tools/libxl/gentest.py index 410b9b76de..ef0cecf0fe 100644 --- a/tools/libxl/gentest.py +++ b/tools/libxl/gentest.py @@ -1,5 +1,6 @@ #!/usr/bin/python +import os import sys import re import random @@ -72,7 +73,7 @@ if __name__ == '__main__': print >>sys.stderr, "Usage: gentest.py <idl> <implementation>" sys.exit(1) - random.seed() + random.seed(os.getenv('LIBXL_TESTIDL_SEED')) (builtins,types) = idl.parse(sys.argv[1]) |