@@ -31,18 +31,12 @@ class ChannelLinearizabilityTest : TestBase() {
31
31
@Operation(runOnce = true )
32
32
fun send2 (@Param(name = " value" ) value : Int ) = lt.run (" send2" ) { channel.send(value) }
33
33
34
- @Operation(runOnce = true )
35
- fun send3 (@Param(name = " value" ) value : Int ) = lt.run (" send3" ) { channel.send(value) }
36
-
37
34
@Operation(runOnce = true )
38
35
fun receive1 () = lt.run (" receive1" ) { channel.receive() }
39
36
40
37
@Operation(runOnce = true )
41
38
fun receive2 () = lt.run (" receive2" ) { channel.receive() }
42
39
43
- @Operation(runOnce = true )
44
- fun receive3 () = lt.run (" receive3" ) { channel.receive() }
45
-
46
40
@Operation(runOnce = true )
47
41
fun close1 () = lt.run (" close1" ) { channel.close(IOException (" close1" )) }
48
42
@@ -70,8 +64,8 @@ class ChannelLinearizabilityTest : TestBase() {
70
64
private fun runTest (capacity : Int ) {
71
65
ChannelLinearizabilityTest .capacity = capacity
72
66
val options = StressOptions ()
73
- .iterations(100 * stressTestMultiplierSqrt)
74
- .invocationsPerIteration(1000 * stressTestMultiplierSqrt)
67
+ .iterations(50 * stressTestMultiplierSqrt)
68
+ .invocationsPerIteration(500 * stressTestMultiplierSqrt)
75
69
.threads(3 )
76
70
.verifier(LinVerifier ::class .java)
77
71
LinChecker .check(ChannelLinearizabilityTest ::class .java, options)
0 commit comments