main
tests: solver: port some solver-related tests over
tests: basic: port remaining solver tests out of kyua
tests: port requires tests out of kyua
tests: add fixtures for metadata queries against conflicting modules
tests: move conflicts tests out of kyua, add more
tests: port remaining solver regression tests out of kyua
tests: port requires.internal solver tests and query reordering tests from kyua
tests: move more regression tests out of kyua
tests: add SkipPlatforms: lite annotations where appropriate
tests: solver: port over provides-bar tests
tests: port some provides tests out of kyua
tests: move relevant query building regress tests out of kyua
tests: port some tuple-related tests from the kyua regress suite