Test Summary
|
16%
successful |
Failed tests
- EndToEndTests. deduplicateChecksMergabilityCorrectly()
- EndToEndTests. sliceAgatha()
- EndToEndTests. sliceAgathaWithOpenGoal()
- EndToEndTests. sliceCutExample()
- EndToEndTests. sliceDuplicatesAway()
- EndToEndTests. sliceDuplicatesAwayOpenGoals()
- EndToEndTests. sliceIfThenElseSplit()
- EndToEndTests. sliceJavaProof()
- EndToEndTests. sliceMultipleIterations()
- EndToEndTests. sliceWithOpenGoal()
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| org.key_project.slicing | 12 | 10 | 0 | 3.108s | 16% |
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| org.key_project.slicing.DependencyGraphTest | 1 | 0 | 0 | 0.357s | 100% |
| org.key_project.slicing.EndToEndTests | 11 | 10 | 0 | 2.751s | 9% |