From 12183024fd6bce3b06f1fab843dd8781dd35e036 Mon Sep 17 00:00:00 2001 From: Timo Teräs Date: Tue, 17 Jan 2012 13:54:33 +0200 Subject: solver: calculate branch minimum penalty early Previously we would cache the penalty when evaluating the final solution, and adding that until we backtrack to first topology position changing that penalty. However, we can just keep track of minimum penalty based on name state, and add it. This allows us to bail out early on bad branches because we know in advance how things will turn out. --- test/error2.expect | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test') diff --git a/test/error2.expect b/test/error2.expect index 7faac5e..65d0093 100644 --- a/test/error2.expect +++ b/test/error2.expect @@ -1,2 +1,3 @@ -1 unsatisfiable dependencies (solution with 4 names) +2 unsatisfiable dependencies (solution with 4 names) world: d<1.5 +b-1: d<2.0 -- cgit v1.2.3-70-g09d2