implementation("org.jetbrains.kotlinx:lincheck:2.36")
Lincheck - Framework for testing concurrent data structures