Comments
Patch
@@ -526,7 +526,7 @@
# Having none means pruned node, multiple successors means split,
# single successors are standard replacement.
#
- for mark in succmarkers[current]:
+ for mark in sorted(succmarkers[current]):
for suc in mark[1]:
if suc not in cache:
if suc in stackedset:
@@ -563,7 +563,7 @@
# duplicated entry and successors set that are strict subset of
# another one.
succssets = []
- for mark in succmarkers[current]:
+ for mark in sorted(succmarkers[current]):
# successors sets contributed by this marker
markss = [[]]
for suc in mark[1]:
@@ -75,8 +75,8 @@
d20a80d4def3
d20a80d4def3
007dc284c1f8
+ 82623d38b9ba
392fd25390da
- 82623d38b9ba
82623d38b9ba
82623d38b9ba
392fd25390da
@@ -121,8 +121,8 @@
d20a80d4def3
d20a80d4def3
007dc284c1f8
+ 82623d38b9ba
01f36c5a8fda
- 82623d38b9ba
82623d38b9ba
82623d38b9ba
392fd25390da
@@ -155,8 +155,8 @@
d20a80d4def3
d20a80d4def3
007dc284c1f8
+ 82623d38b9ba
392fd25390da
- 82623d38b9ba
82623d38b9ba
82623d38b9ba
392fd25390da