Package de.uka.ilkd.key.proof

11

tests

1

failures

1

ignored

3.976s

duration

90%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestGoal 2 0 0 0.012s 100%
TestOneStepSimplifier 1 1 0 3.531s 0%
TestProofTree 1 0 0 0.004s 100%
TestTacletIndex 5 0 1 0.414s 100%
TestTermTacletAppIndex 2 0 0 0.015s 100%