search

Universal-Variability-Language / uvl-lsp

Language server protocol for the Universal Variability Language (UVL)
MIT License
10 stars 4 forks source link

Configurator SAT Checks Do Not Work When Having Constraints Over Submodel Features #94

Closed SundermannC closed 1 year ago

SundermannC commented 1 year ago

When specifying a cross-tree constraint including features from an imported submodel, the reasoning engine in the configurator does not seem to work.

Consider this feature model:

imports
    dir.sub2 as s

features
    Root
        optional
            s.Submodels

constraints
    s.Submodels => s."are cool"

Produces the following in the configurator:

image

In addition, each not manually selected value is ?