Package de.ugoe.cs.rwm.tocci.pog2provplan
|
100%
successful |
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
Pog2ProvPlanTest | 1 | 0 | 0 | 0.712s | 100% |
|
100%
successful |
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
Pog2ProvPlanTest | 1 | 0 | 0 | 0.712s | 100% |