Nils Adermann
1b6f57e651
Correctly implement priorities and version numbers in the default policy
13 years ago
Jordi Boggiano
40cc5fea1d
Add a few solver tests regarding "replace"
13 years ago
Nils Adermann
30f6c05069
Add test for choices in circular requirements and delete packagist based test
13 years ago
Nils Adermann
85f88de59d
Add a solver test for provided virtual packages and circular dependencies
13 years ago
everzet
123f5fef77
Refactored Operations in order to fulfill naderman requests
13 years ago
Jordi Boggiano
6d667a849e
Remove broken functional test
13 years ago
everzet
0a1e7320b0
Refactored solver result array. Now it returns array of operation objects which are much nicer to work with
13 years ago
Nils Adermann
b1d16a88b7
Test a replace link with a null constraint between packages
13 years ago
Nils Adermann
69ebbf0eac
Correct handling of rules with more than 2 literals.
13 years ago
Nils Adermann
ac61c3973b
Add a test for two equivalent installable packages and fix the functional test
13 years ago
Nils Adermann
0f6fb9b692
Separate transaction generation from solving and properly identify updates
13 years ago
Nils Adermann
f46aa495da
Turn obsolete relationships and replaced packages into conflict rules
13 years ago
Nils Adermann
ad25618bdd
Add install job and update rule conflict handling and reenable installation
13 years ago
Nils Adermann
1125de6bf2
Added disablePolicyRules to solve conflicts between remove jobs & update rules
...
This temporarily breaks installation of packages
13 years ago
Nils Adermann
01945c20f9
Simplify testSolverWithComposerRepo reusing utility methods from other tests
13 years ago
Nils Adermann
172c8b908e
Split the large solver test up into individual units testing smaller parts
13 years ago
Jordi Boggiano
b277b8e73c
Add failing test with composer repo
13 years ago
Nils Adermann
825deff09f
Completed analysis of unsolvable situations and main decision process
13 years ago
Nils Adermann
498125adbe
Assertions are now properly decided before running the main solver.
...
Updating does not work yet. The test case works fine for installing/removing
the correct packages however. Weak (update/feature) rules are entirely ignored
so far.
Watches are on literal ids rather than literals to save on function calls
and memory usage. So a few methods for literals now have an id counter part.
This should probably be refactored to have the literal versions call the
id ones instead.
14 years ago
Jordi Boggiano
d181e32000
Fixed test expectation
14 years ago
Jordi Boggiano
00260a89ae
Make test fail
14 years ago
Jordi Boggiano
7ea2fd6c93
Fix author/copyright
14 years ago
Nils Adermann
933cc6179b
Import initial partial port of the libzypp satsolver.
14 years ago