Quickfixes for Anomalies

Universal-Variability-Language / uvl-lsp

Language server protocol for the Universal Variability Language (UVL)

MIT License

10 stars 4 forks source link

Quickfixes for Anomalies #102

Open SundermannC opened 1 year ago

SundermannC commented 1 year ago

It would be useful to have suggestions/quick fixes for resolving anomalies, such as void model or dead features. UVLS already provides explanations using minimal unsatisfiable cores in z3. Those should also be usable for suggesting quickfixes (e.g., remove all cross-tree constraints in the minimal unsatisfiable core).

felixrieg commented 1 year ago

Could you give some specific examples?