kotlinx-lincheck icon indicating copy to clipboard operation
kotlinx-lincheck copied to clipboard

Published 20 hours ago • verified publisher icon Kotlin

Support operations with multiple suspension points

Open alefedor opened this issue 2 years ago • 6 comments

See #121 for an example of Lincheck failing in the case of multiple suspension points per operation

alefedor avatar Oct 17 '22 17:10 alefedor

This restricts modular testing to using only a single submodule.

btwilk avatar Oct 19 '22 18:10 btwilk

Supporting multiple suspensions is vital for #167

ndkoval avatar Apr 18 '23 14:04 ndkoval

Please have a look at #143 for preliminary support in the runner. Let's support multiple suspensions ONLY in the runner, printing an error if multiple suspensions occur in the verification phase.

ndkoval avatar Apr 19 '23 13:04 ndkoval

Can you clarify whether support in only the runner would resolve #121 ?

btwilk avatar Apr 19 '23 17:04 btwilk

@btwilk yes

ndkoval avatar Apr 19 '23 22:04 ndkoval

Note: with allowing multiple suspensions only in the running phase, we need to check that at most one suspension occurs in the verification phase.

ndkoval avatar Apr 30 '24 10:04 ndkoval