Originally created by: angelo.gargantini
Originally owned by: angelo.gargantini
after a test suite generation, the user could ask the tool to check its correctness, i.e. if it actually covers all the requested combinations. In case of constraints, checking is more difficult because a combination could be uncovered because is infeasible.
This require a functionality in the library and a modification in the UI.