Package de.uka.ilkd.key.rule.loop

1

tests

1

failures

0

ignored

4.328s

duration

0%

successful

Classes

Class Tests Failures Ignored Duration Success rate
LoopScopeInvRuleTests 1 1 0 4.328s 0%