SOLVER_FLAG_FOCUS_BEST not installing latest package anymore

[J-Bu]

Hi all,

since the chances in 1da9bef libsolv does not install the latest package anymore even with SOLVER_FLAG_FOCUS_BEST. I assume it is because provides changed and a new "compat" package would be needed.

In a test I have following packages:

name: base_system-12.1.1
provides: base_binary_level-12.0.0

name: base_system-12.1.2
provides: base_binary_level-12.0.0

name: base_system-12.5.0
provides: base_binary_level-12.5.0

name compat-12.0.0
provides: base_binary_level-12.0.0

name: test-1.0.0
requires: base_binary_level-12.0.0

When base_system-12.1.1 and test-1.0.0 is installed I would assume that with SOLVER_FLAG_FOCUS_BEST an update to base_system-12.5.0 is done and compat-12.0.0 is pulled in. This was also the case with libsolv 0.7.17 but with 0.7.23 it only updates to base_system-12.1.2. I bisected the issue and the commit changing the behavior is 1da9bef.

Was this change intended and if so how could I get the old behavior back?

[mlschroe]

It wasn't intended, but the choice rule generation is a bit of black magic, it's hard to make it work with all corner cases. That's also why there are so many testcases for choice rules in the test suite. Could you please create a solver testcase that shows the problem?

Having said that, you can probably force the update by using "SOLVER_FORCEBEST" in your update job. The "focus" definition is much weaker than the job flag.

[J-Bu]

Even with SOLVER_FORCEBEST it does not work. I will try to add a test for this usecase