remove dependency of testing on analyses
remove dependency of testing on analyses plugin.
Testing uses analyses to generate test cases for state coverage and transition coverage. State reachability is already re-implemented as a constraint in the specification plugin. Transition coverage is not, and should be available soon.
(from redmine: issue id 2925, created on 2017-04-10, closed on 2017-07-17)
- Relations:
- parent #2892 (closed)