contrib/perf-utils/subsetmaker.py
changeset 49013 186223795e4a
parent 46772 63a3941d9847
child 49014 5a24bb7f4ed7
--- a/contrib/perf-utils/subsetmaker.py	Tue Jul 20 15:07:10 2021 +0200
+++ b/contrib/perf-utils/subsetmaker.py	Sun Mar 13 15:53:29 2022 +0100
@@ -102,7 +102,9 @@
     for x in range(n):
         if not heads:
             break
-        pick = rand.choice(list(heads))
+        pickable = list(heads)
+        pickable.sort()
+        pick = rand.choice(pickable)
         heads.remove(pick)
         assert pick not in selected
         selected.add(pick)