Support blocking operations for threads
ndkoval opened this issue · 1 comments
ndkoval commented
Lincheck provides great support for suspend operations in Kotlin. However, it does not support blocking data structures that park native threads. We can track park invocations and handle InterruptedException-s to add this support. Yet, it would require non-trivial changes in the verification phase.