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

14

tests

13

failures

0

ignored

5.763s

duration

7%

successful

Classes

Class Tests Failures Ignored Duration Success rate
MergeRuleTests 11 11 0 5.469s 0%
PredicateAbstractionLatticeTests 3 2 0 0.294s 33%