Package de.ugoe.cs.rwm.tocci.pog2provplan

1

tests

0

failures

0

ignored

0.712s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
Pog2ProvPlanTest 1 0 0 0.712s 100%