Skip to content

Commit 7c6c72f

Browse files
authored
Allow extra suspension in Lincheck tests for Semaphore.acquire() (#2602)
1 parent 05f7d5d commit 7c6c72f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: kotlinx-coroutines-core/jvm/test/lincheck/SemaphoreLincheckTest.kt

+1-1
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ abstract class SemaphoreLincheckTestBase(permits: Int) : AbstractLincheckTest()
1616
@Operation
1717
fun tryAcquire() = semaphore.tryAcquire()
1818

19-
@Operation(promptCancellation = true)
19+
@Operation(promptCancellation = true, allowExtraSuspension = true)
2020
suspend fun acquire() = semaphore.acquire()
2121

2222
@Operation(handleExceptionsAsResult = [IllegalStateException::class])

0 commit comments

Comments
 (0)