# HG changeset patch # User Sylvain # Date 1238850997 -7200 # Node ID c836bdb3b17be35ab2316846dc09a03f38e65de9 # Parent aeb46e43138dd3f3546aa972ec0e9909091ad25a more test predictability diff -r aeb46e43138d -r c836bdb3b17b server/msplanner.py --- 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)