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