Package de.uka.ilkd.key.proof.proverules

196

tests

0

failures

0

ignored

14m43.89s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
ProveRulesTest 196 0 0 14m43.89s 100%