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

14

tests

6

failures

0

ignored

1m19.90s

duration

57%

successful

Classes

Class Tests Failures Ignored Duration Success rate
MergeRuleTests 11 6 0 1m13.92s 45%
PredicateAbstractionLatticeTests 3 0 0 5.980s 100%