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.
ndkoval
commented
1 year ago
Lincheck provides great support for
suspendoperations in Kotlin. However, it does not support blocking data structures that park native threads. We can trackparkinvocations and handleInterruptedException-s to add this support. Yet, it would require non-trivial changes in the verification phase.