Package de.uka.ilkd.key.proof

10

tests

9

failures

1

ignored

0.043s

duration

0%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestGoal 2 2 0 0.014s 0%
TestProofTree 1 1 0 0.008s 0%
TestTacletIndex 5 4 1 0.015s 0%
TestTermTacletAppIndex 2 2 0 0.006s 0%