Test Summary

132

tests

0

failures

0

ignored

2.663s

duration

100%

successful

Packages

Package Tests Failures Ignored Duration Success rate
org.key_project.util.collection 15 0 0 1.987s 100%
org.key_project.util.testcase.bitops 6 0 0 0.055s 100%
org.key_project.util.testcase.collection 27 0 0 0.236s 100%
org.key_project.util.testcase.java 84 0 0 0.385s 100%