Package org.key_project.slicing
|
25%
successful |
Failed tests
- EndToEndTests. deduplicateChecksMergabilityCorrectly()
- EndToEndTests. sliceAgatha()
- EndToEndTests. sliceAgathaWithOpenGoal()
- EndToEndTests. sliceCutExample()
- EndToEndTests. sliceDuplicatesAway()
- EndToEndTests. sliceIfThenElseSplit()
- EndToEndTests. sliceJavaProof()
- EndToEndTests. sliceMultipleIterations()
- EndToEndTests. sliceWithOpenGoal()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| DependencyGraphTest | 1 | 0 | 0 | 0.508s | 100% |
| EndToEndTests | 11 | 9 | 0 | 1m47.24s | 18% |