Name | Status | Type | Time(s) |
shouldConsumeDuplicatedPostingOnAdvance-_jdk17_x86_64 | Success | | 0.372 |
shouldNotSkipUnconsumedElementOnAdvance-_jdk17_x86_64 | Success | | 0.030 |
shouldMergeInterleavedPostingLists-_jdk17_x86_64 | Success | | 0.027 |
shouldInterleaveNextAndAdvance-_jdk17_x86_64 | Success | | 0.029 |
shouldNotReadFromExhaustedChild-_jdk17_x86_64 | Success | | 0.028 |
shouldInterleaveNextAndAdvanceOnRandom-_jdk17_x86_64 | Success | | 10.845 |
shouldMergeSamePostingLists-_jdk17_x86_64 | Success | | 0.027 |
shouldAdvanceAllMergedLists-_jdk17_x86_64 | Success | | 0.021 |
shouldMergeDisjointPostingLists-_jdk17_x86_64 | Success | | 0.022 |
shouldAdvanceToAllElementsWithoutFailures-_jdk17_x86_64 | Success | | 0.054 |
shouldMergeSinglePostingList-_jdk17_x86_64 | Success | | 0.021 |
shouldSkipDuplicates-_jdk17_x86_64 | Success | | 0.024 |