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

14

tests

8

failures

0

ignored

29.987s

duration

42%

successful

Classes

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