apt/test, branch 2.9.30

string{=> _view} flNotDir(string{=> _view}). Configuration::{Cnd,}Set(Value: string{=> _view})

2025-02-14T18:45:12Z

string{=> _view} flExtension(string{=> _view})

2025-02-14T18:45:12Z

Drop APT::StringView

2025-02-14T18:45:12Z

solver3: Only enqueue shared dependencies at the package level

2025-02-14T18:08:45Z

Dependencies shared by all versions are enqueued at the package level, so avoid enqueuing duplicates at the version level. This presumably has no meaningful impact on performance, potentially a negative performance impact on some workloads as we now need to find the duplicates again; it can become useful when there is a lot of backtracking. More importantly though this improves error messages, because now we can say that "all versions of foo depend on X", rather than saying "foo=1 depends on X" and you are left wondering why we did not select "foo=2". In this commit though, improved error messages are not implemented, they depend on redesigning the reason tracking to use clauses. Also the rationale tracking includes a lot more dependencies of the form "pkg:arch=version -> pkg:arch" which are annoying. Improved error messages should fold them into one node.

solver3: Remove work rescoring in favor of unit propagation

2025-02-14T18:08:45Z

Instead of expensive rescoring of all outstanding items, use unit propagation to find new units after conflicts. We still count the items when adding them; but unless they are 0 or 1, which they should not be, they don't have any effect: The size field is now effectively static. If the size of an optional clause changed to 1, it is inserted a second time, and then moves up to the top of the optional items per the Work::operator< rules.

test: Remove long obsolete FIXME for solver3

2025-02-14T18:08:45Z

test: Annotate the broken test cases

2025-02-14T18:08:45Z

test-ubuntu-bug-614993: Avoid implicit upgrade-by-source requirement

2025-02-14T18:08:45Z

This allows it to work with solver3 before that feature is implemented. This essentially reverts the change to that test made in 119a8d0ed19a4e946591b9aef7d662e14ca7ece5

ResolveByKeep: Do not pass UPGRADE_ALL to EDSP solver

2025-02-14T18:08:45Z

When we call an EDSP solver from ResolveByKeep(), we are not in an upgrade context: In an upgrade context, we call the solver directly from upgrade.cc instead of doing any Resolve() or ResolveByKeep() calls. This fixes the test-bug-602412-dequote-redirect test case, where ResolveByKeep() was called as part of --fix-missing

test-dont-forget-conflicts-via-unknown-architectures: Use install, not upgrade

2025-02-14T18:08:45Z

The 3.0 solver does not support upgrade arguments to override the policy.