Test Summary
|
0%
successful |
Failed tests
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| org.key_project.exploration | 3 | 3 | 0 | 18.265s | 0% |
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| org.key_project.exploration.ProofExplorationServiceTest | 3 | 3 | 0 | 18.265s | 0% |