Fixing option fuzzer

msoos · Jun 8, 2018 · 5e820b5 · 5e820b5
1 parent f102df3
commit 5e820b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/fuzz/fuzz_test.py b/scripts/fuzz/fuzz_test.py
@@ -292,8 +292,8 @@ def random_options(self, preproc=False):
 
         if self.dump_red is not None:
             cmd += "--dumpred %s " % self.dump_red
-            cmd += "--dumpredmaxlen %s " % random.randchoice([2, 10, 1000])
-            cmd += "--dumpredmaxglue %s " % random.randchoice([2, 10, 1000])
+            cmd += "--dumpredmaxlen %d " % random.choice([2, 10, 100, 100000])
+            cmd += "--dumpredmaxglue %d " % random.choice([2, 10, 100, 100000])
 
         if self.only_indep:
             cmd += "--onlyindep "