def test_chained_dependencies(self):
requirement = InstallRequirement._from_string('D ^= 0.0.0')
expected_deps = packages_from_definition(
"""B 0.0.0-1; depends (D == 0.0.0-2)
B 0.0.0-2; depends (D ^= 0.0.0)""")
deps = compute_reverse_dependencies(self.repos, requirement)
self.assertEqual(deps, set(expected_deps))
def test_conflicting_dependencies(self):
# Given
packages_definition = textwrap.dedent("""
MKL 10.3-1
MKL 11.4.1-1
numpy 1.9.2-1; depends (MKL == 10.3-1)
numpy 1.10.4-1; depends (MKL == 11.4.1-1)
scipy 0.16.0-1; depends (MKL == 10.3-1, numpy ^= 1.9.2)
scipy 0.17.0-1; depends (MKL == 11.4.1-1, numpy ^= 1.10.4)
""")
packages = packages_from_definition(packages_definition)
def callback(requirements):
return requirements_are_satisfiable(packages,
requirements).is_satisfiable
r_min_unsat = [
Requirement._from_string("MKL < 11"),
Requirement._from_string("scipy >= 0.17.0"),
]
# When
requirements = [
Requirement._from_string("MKL < 11"),
Requirement._from_string("numpy"),
Requirement._from_string("scipy >= 0.17.0"),
]
min_unsat = minimal_unsatisfiable_subset(requirements, callback)
# Then
six.assertCountEqual(self, min_unsat, r_min_unsat)
def test_simple_dependency(self):
requirement = InstallRequirement._from_string('E *')
expected_deps = packages_from_definition(
'C 0.0.0-1; depends (E >= 1.0.0)')
deps = compute_reverse_dependencies(self.repos, requirement)
self.assertEqual(deps, set(expected_deps))
def test_simple(self):
# Given
packages_definition = textwrap.dedent("""
MKL 10.3-1
MKL 11.4.1-1
numpy 1.9.2-1; depends (MKL == 10.3-1)
numpy 1.10.4-1; depends (MKL == 11.4.1-1)
""")
packages = packages_from_definition(packages_definition)
# When/Then
requirements = [R("numpy")]
result = requirements_are_satisfiable(packages, requirements)
self.assertTrue(result.is_satisfiable)
# When/Then
requirements = [R("numpy < 1.10")]
result = requirements_are_satisfiable(packages, requirements)
self.assertTrue(result.is_satisfiable)
# When/Then
requirements = [R("numpy < 1.10"), R("MKL >= 11")]
result = requirements_are_satisfiable(packages, requirements)
self.assertFalse(result.is_satisfiable)
# When/Then
requirements = [R("numpy > 1.10"), R("MKL >= 11")]
result = requirements_are_satisfiable(packages, requirements)
self.assertTrue(result.is_satisfiable)
def test_more_than_2_clauses(self):
# Given
packages_definition = textwrap.dedent("""
A 1.0-1; provides (X)
B 1.0-1; provides (X, Y, Z)
C 1.0-1; provides (Y)
D 1.0-1; provides (Y, Z)
P 1.0-1; depends (X)
Q 1.0-1; depends (Y); conflicts (A ^= 1.0)
R 1.0-1; depends (Z); conflicts (B ^= 1.0)
""")
packages = packages_from_definition(packages_definition)
requirements_definition = textwrap.dedent("""
P
Q
R
""")
requirements = requirements_from_definition(requirements_definition)
def callback(requirements):
return requirements_are_satisfiable(packages,
requirements).is_satisfiable
r_min_unsat = [R("P"), R("Q"), R("R")]
# When
min_unsat = minimal_unsatisfiable_subset(requirements, callback)
# Then
six.assertCountEqual(self, min_unsat, r_min_unsat)
def test_simple_dependency(self):
requirement = InstallRequirement._from_string('C *')
expected_deps = packages_from_definition("""E 1.0.0-1
E 1.0.1-1""")
deps = compute_dependencies(self.repos, requirement)
self.assertEqual(deps, set(expected_deps))
def test_simple(self):
# Given
packages_definition = textwrap.dedent("""\
MKL 10.3-1
MKL 11.4.1-1
numpy 1.9.2-1; depends (MKL == 10.3-1)
numpy 1.10.4-1; depends (MKL == 11.4.1-1)
""")
packages = packages_from_definition(packages_definition)
def callback(requirements):
return requirements_are_satisfiable(packages,
requirements).is_satisfiable
r_min_unsat = [
Requirement._from_string("numpy < 1.10"),
Requirement._from_string("MKL >= 11")
]
# When
requirements = [
Requirement._from_string("numpy < 1.10"),
Requirement._from_string("MKL >= 11")
]
min_unsat = minimal_unsatisfiable_subset(requirements, callback)
# Then
six.assertCountEqual(self, min_unsat, r_min_unsat)
def test_simple_dependency(self):
requirement = InstallRequirement._from_string('C *')
expected_deps = packages_from_definition(
"""E 1.0.0-1
E 1.0.1-1""")
deps = compute_dependencies(self.repos, requirement)
self.assertEqual(deps, set(expected_deps))
def test_simple_dependency(self):
requirement = InstallRequirement._from_string('E *')
expected_deps = packages_from_definition(
'C 0.0.0-1; depends (E >= 1.0.0)'
)
deps = compute_reverse_dependencies(self.repos, requirement)
self.assertEqual(deps, set(expected_deps))
def test_chained_dependencies(self):
requirement = InstallRequirement._from_string('D ^= 0.0.0')
expected_deps = packages_from_definition(
"""B 0.0.0-1; depends (D == 0.0.0-2)
B 0.0.0-2; depends (D ^= 0.0.0)"""
)
deps = compute_reverse_dependencies(self.repos, requirement)
self.assertEqual(deps, set(expected_deps))
def test_simple(self):
expected_leaf_packages = packages_from_definition(
"""A 0.0.0-1; depends (B ^= 0.0.0)
C 0.0.0-1; depends (E >= 1.0.0)
E 0.0.0-1 """)
leaf_packages = compute_leaf_packages(self.repos)
self.assertEqual(leaf_packages, set(expected_leaf_packages))
def test_chained_requirements_transitive(self):
requirement = InstallRequirement._from_string('A ^= 0.0.0')
expected_deps = packages_from_definition(
"""B 0.0.0-1; depends (D == 0.0.0-2)
B 0.0.0-2; depends (D ^= 0.0.0)
D 0.0.0-2 """)
deps = compute_dependencies(self.repos, requirement, transitive=True)
self.assertEqual(deps, set(expected_deps))
def test_simple(self):
expected_leaf_packages = packages_from_definition(
"""A 0.0.0-1; depends (B ^= 0.0.0)
C 0.0.0-1; depends (E >= 1.0.0)
E 0.0.0-1 """
)
leaf_packages = compute_leaf_packages(self.repos)
self.assertEqual(leaf_packages, set(expected_leaf_packages))
def test_chained_requirements_transitive(self):
requirement = InstallRequirement._from_string('A ^= 0.0.0')
expected_deps = packages_from_definition(
"""B 0.0.0-1; depends (D == 0.0.0-2)
B 0.0.0-2; depends (D ^= 0.0.0)
D 0.0.0-2 """
)
deps = compute_dependencies(self.repos, requirement, transitive=True)
self.assertEqual(deps, set(expected_deps))
def test_raises_if_unresolvable_requirement(self):
# Given
packages_definition = textwrap.dedent("""
MKL 11.4.1-1;
numpy 1.10.4-1; depends (MKL == 11.4.1-1)
""")
packages = packages_from_definition(packages_definition)
requirements = [R("foo")]
# When/Then
with self.assertRaises(NoPackageFound):
requirements_are_satisfiable(packages, requirements)
def test_raises_unexpectedly_satisfiable(self):
# Given
packages_definition = textwrap.dedent("""
MKL 11.1.4-1
numpy 1.9.2-3; depends (MKL == 11.1.4-1)
""")
packages = packages_from_definition(packages_definition)
requirements_definition = textwrap.dedent("""
MKL == 11.1.4-1
numpy == 1.9.2-3
""")
requirements = requirements_from_definition(requirements_definition)
def callback(requirements):
return requirements_are_satisfiable(packages, requirements)
# When/Then
with self.assertRaises(UnexpectedlySatisfiable):
minimal_unsatisfiable_subset(requirements, callback)
def test_constraint_modifiers(self):
# Given
packages_definition = textwrap.dedent("""
MKL 10.3-1
MKL 11.4.1-1
numpy 1.9.2-1; depends (MKL == 10.3-1)
numpy 1.10.4-1; depends (MKL == 11.4.1-1)
""")
packages = packages_from_definition(packages_definition)
requirements = [
Requirement._from_string("numpy < 1.10"),
Requirement._from_string("MKL >= 11")
]
modifiers = ConstraintModifiers(allow_newer=("MKL", ))
# When/Then
result = requirements_are_satisfiable(packages, requirements)
self.assertFalse(result.is_satisfiable)
result = requirements_are_satisfiable(packages, requirements,
modifiers)
self.assertTrue(result.is_satisfiable)
def test_conflicting_dependencies2(self):
# Given
packages_definition = textwrap.dedent("""
libgfortran 3.0.0-2
MKL 10.3-1
MKL 11.1.4-1
numpy 1.7.1-1; depends (MKL == 10.3-1)
numpy 1.9.2-3; depends (MKL == 11.1.4-1)
pandas 0.12.0-1; depends (numpy ^= 1.7.1, python_dateutil)
python_dateutil 2.4.2-2; depends (six ^= 1.10.0)
pytz 2014.9.0-1
six 1.10.0-1
""")
packages = packages_from_definition(packages_definition)
requirements_definition = textwrap.dedent("""
libgfortran == 3.0.0-2
MKL == 11.1.4-1
numpy == 1.9.2-3
pandas == 0.12.0-1
python_dateutil == 2.4.2-2
pytz == 2014.9.0-1
six == 1.10.0-1
""")
requirements = requirements_from_definition(requirements_definition)
def callback(requirements):
return requirements_are_satisfiable(packages,
requirements).is_satisfiable
r_min_unsat = [R("MKL == 11.1.4-1"), R("pandas == 0.12.0-1")]
# When
min_unsat = minimal_unsatisfiable_subset(requirements, callback)
# Then
six.assertCountEqual(self, min_unsat, r_min_unsat)
def setUp(self):
repo_0 = Repository(packages_from_definition(PACKAGE_DEF_0))
repo_1 = Repository(packages_from_definition(PACKAGE_DEF_1))
self.repos = [repo_0, repo_1]
def setUp(self):
repo_0 = Repository(packages_from_definition(PACKAGE_DEF_0))
repo_1 = Repository(packages_from_definition(PACKAGE_DEF_1))
self.repos = [repo_0, repo_1]
