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

196

tests

0

failures

0

ignored

11m49.74s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
ProveRulesTest 196 0 0 11m49.74s 100%