Package org.key_project.util.collection

15

tests

0

failures

0

ignored

1.560s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestDirectedGraph 2 0 0 0.037s 100%
TestImmutables 13 0 0 1.523s 100%