Test Summary

1

tests
1

failures
0

ignored
0.005s

duration
0%

successful

Packages

Package Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.proof.proverules 1 1 0 0.005s 0%

Classes

Class Tests Failures Ignored Duration Success rate
de.uka.ilkd.key.proof.proverules.ProveRulesTest 1 1 0 0.005s 0%