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

Universal-Variability-Language / uvl-lsp

Language server protocol for the Universal Variability Language (UVL)

MIT License

10 stars 4 forks source link

Closed felixrieg closed 1 year ago

felixrieg commented 1 year ago

FIxes: #94

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

felixrieg commented 1 year ago

I can't reproduce your issue... Screenshot 2023-10-26 at 09 08 44

felixrieg commented 1 year ago

@ThiBruUU Have you tried it again or could you give me something to reproduce this issue