We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent aafbde1 commit 9acde74Copy full SHA for 9acde74
kotlinx-coroutines-core/jvm/test/internal/SegmentQueueLFTest.kt renamed to kotlinx-coroutines-core/jvm/test/internal/SegmentQueueLinearizabilityTest.kt
@@ -8,7 +8,7 @@ import com.devexperts.dxlab.lincheck.strategy.stress.StressCTest
8
import org.junit.Test
9
10
@StressCTest
11
-class SegmentQueueLFTest {
+class SegmentQueueLinearizabilityTest {
12
private val q = SegmentBasedQueue<Int>()
13
14
@Operation
@@ -21,6 +21,6 @@ class SegmentQueueLFTest {
21
22
@Test
23
fun test() {
24
- LinChecker.check(SegmentQueueLFTest::class.java)
+ LinChecker.check(SegmentQueueLinearizabilityTest::class.java)
25
}
26
0 commit comments