Libzypp/Solver/UseCase/Verify
From openSUSE
[edit]
Verify System
System verification checks all dependencies of all installed packages in order to ensure a consistent system.
This checking is relatively easy to accomplish by
- flag verifying in the solver (the verification process should only check, not actually change the system)
- iterate over all installed packages and schedule them for installation
- run resolve dependencies

