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.
13 years ago
Jordi Boggiano
d181e32000
Fixed test expectation
13 years ago
Jordi Boggiano
00260a89ae
Make test fail
13 years ago
Jordi Boggiano
b620405ab0
Adjusted BasePackage::__toString()
13 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