Skip to content
Snippets Groups Projects
Commit 5dc344cf authored by Andreas Bayha's avatar Andreas Bayha
Browse files

Variability: Added extraction of counterexample to ProductLineAnalysis 


The analysis has been refined with meaningful violations as a result.
Those include the violating objects, the constraints and (once
implemented) the violating feature configuration.

Issue-ref: 4240
Issue-URL: af3#4240

Signed-off-by: default avatarAndreas Bayha <bayha@fortiss.org>
parent 914bbf0c
No related branches found
No related tags found
1 merge request!1784240
Pipeline #37725 passed
Stage: test
Pipeline: maven-releng

#37726

    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 257 additions and 47 deletions
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment