server/msplanner.py
changeset 1237 c836bdb3b17b
parent 1231 1457a545af03
child 1263 01152fffd593
--- a/server/msplanner.py	Sat Apr 04 15:12:41 2009 +0200
+++ b/server/msplanner.py	Sat Apr 04 15:16:37 2009 +0200
@@ -785,10 +785,10 @@
         if secondchoice is not None:
             return secondchoice, sourceterms.pop(secondchoice)
         # priority to variable with the less solutions supported and with the
-        # most valuable refs
+        # most valuable refs. Add variable name for test predictability
         variables = sorted([(var, sols) for (var, sols) in sourceterms.items()
                             if isinstance(var, Variable)],
-                           key=lambda (v, s): (len(s), -v.valuable_references()))
+                           key=lambda (v, s): (len(s), -v.valuable_references(), v.name))
         if variables:
             var = variables[0][0]
             return var, sourceterms.pop(var)