summaryrefslogtreecommitdiff
path: root/LICENSE-APACHE
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2021-06-22 20:37:24 +0200
committerGitHub <noreply@github.com>2021-06-22 11:37:24 -0700
commitacc11f676dd55b13240674512bf7610334107768 (patch)
tree6703ad695b69c3f355c491a1ac9db3fd51af9b19 /LICENSE-APACHE
parent02b92dbf1073fff435be9e5fb91d5188f25c8fc1 (diff)
downloadspack-acc11f676dd55b13240674512bf7610334107768.tar.gz
spack-acc11f676dd55b13240674512bf7610334107768.tar.bz2
spack-acc11f676dd55b13240674512bf7610334107768.tar.xz
spack-acc11f676dd55b13240674512bf7610334107768.zip
ASP-based solver: fix provider logic (#24351)
This commit fixes a subtle bug that may occur when a package is a "possible_provider" of a virtual but no "provides_virtual" can be deduced. In that case the cardinality constraint on "provides_virtual" may arbitrarily assign a package the role of provider even if the constraints for it to be one are not fulfilled. The fix reworks the logic around three concepts: - "possible_provider": a package may provide a virtual if some constraints are met - "provides_virtual": a package meet the constraints to provide a virtual - "provider": a package selected to provide a virtual
Diffstat (limited to 'LICENSE-APACHE')
0 files changed, 0 insertions, 0 deletions