Package de.uka.ilkd.key.rule.merge

14

tests

8

failures

0

ignored

24.510s

duration

42%

successful

Classes

Class Tests Failures Ignored Duration Success rate
MergeRuleTests 11 8 0 18.528s 27%
PredicateAbstractionLatticeTests 3 0 0 5.982s 100%