utils/t/bits-testgen.py: Set the `SEED' from the command-line correctly.

[mLib] / utils / t / bits-testgen.py

diff --git a/utils/t/bits-testgen.py b/utils/t/bits-testgen.py
index 6bb9f88..05e4baf 100644 (file)
--- a/utils/t/bits-testgen.py
+++ b/utils/t/bits-testgen.py
@@ -12,15 +12,15 @@ WD = 64
 LIMIT = 1 << WD
 MASK = LIMIT - 1
 
-SYS.argv.pop()
+ARGS = SYS.argv[1:]; ARGS.reverse()
 def arg(default = None):
-  if len(SYS.argv):
-    return SYS.argv.pop()
-  else:
-    return default
+  if len(ARGS): return ARGS.pop()
+  else: return default
 
 R.seed(None)
-SEED = int(arg(R.randrange(0, 1 << 32)))
+seed = arg()
+if seed is None: SEED = R.randrange(0, 1 << 32)
+else: SEED = int(seed, 0)
 R.seed(SEED)
 
 print '### Test vectors for 64-bit arithmetic macros'