fixed mean bug in an optimization of addrule:

Differ between binary rules and non-binary rules
with one literal (e.g. two kernels)
(fixed 5 test cases)

diff --git a/src/solver.c b/src/solver.c
index 07373d10eecf55e48b389db9cc8489f59dc0acd8..a20b8b3988212c60c00c5804bffffe145dc7851b 100644 (file)
--- a/src/solver.c
+++ b/src/solver.c
@@ -623,10 +623,13 @@ addrule(Solver *solv, Id p, Id d)
       n = 1;                          /* re-set n, was used as temp var */
     }
 
+  /* check if the last added rule is exactly the same as what we're looking for.
+   * Differ between binary rules and non-binary rules with one literal (e.g. two kernels) */
   if (r
       && n == 1
       && r->p == p
-      && r->w2 == d)
+      && ( ( !r->d && r->w2 == d )
+          || r->d == d))
   {
     return r;
   }