Support #2892: remove (unnecessary) dependencies on analyses plugin
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.
#1 Updated by Anonymous over 3 years ago
- Status changed from New to Resolved
- Assignee changed from Anonymous to Anonymous
- % Done changed from 0 to 100
methods to be implemented
LTLExp stateCanNotBeReachedLTL(AF3ToNuSMVCompilationResult conversionResult, Component contextComp, Component comp, State state)
void injectLtlSpecification(AF3ToNuSMVCompilationResult conversionResult,Component comp, IExpressionTerm spec)