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