Nils Adermann
69ebbf0eac
Correct handling of rules with more than 2 literals.
13 years ago
Nils Adermann
db18e1b560
Add a few proper tests for literals, all tests passing now
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
Jordi Boggiano
2d1f8fbe70
LiteralTest is incomplete
13 years ago
Nils Adermann
825deff09f
Completed analysis of unsolvable situations and main decision process
13 years ago
Nils Adermann
bc672deb32
Moving rule iteration logic to a separate RuleSet and RuleSetIterator class
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
b620405ab0
Adjusted BasePackage::__toString()
14 years ago
Nils Adermann
ec94b76c7c
Tests for MultiConstraints on versions
14 years ago
Nils Adermann
d5dd86cd75
Correct version contraint matching and add tests for various cases
14 years ago
Nils Adermann
1870291949
Rename PackageTest to MemoryPackageTest
14 years ago
Jordi Boggiano
c6321e7277
Fix tests and invalid use statements
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