CommonJVM

lincheck

Lincheck - Framework for testing concurrent data structures

Add to your project
implementation("org.jetbrains.kotlinx:lincheck:2.23-IDEA-PLUGIN")
Parent project

Framework for testing concurrent algorithms on the JVM. Enables declarative test specification, automatically generates random scenarios, and verifies correctness properties using stress-testing or model checking.

Version history
Package version Release date Platforms
2.34 2 months ago Common, JVM Details
2.33 3 months ago Common, JVM Details
2.32 6 months ago Common, JVM Details
2.31 6 months ago Common, JVM Details
2.30 6 months ago Common, JVM Details
2.29 7 months ago Common, JVM Details
2.28.1 7 months ago Common, JVM Details
2.28 7 months ago Common, JVM Details
2.27 8 months ago Common, JVM Details
2.26 8 months ago Common, JVM Details
2.25 9 months ago Common, JVM Details
2.24 9 months ago Common, JVM Details
2.23-IDEA-PLUGIN 1 year ago Common, JVM
2.23 1 year ago Common, JVM Details
2.22 1 year ago Common, JVM Details
2.21-IDEA-PLUGIN-2 1 year ago Common, JVM Details
2.21-IDEA-PLUGIN-1 1 year ago Common, JVM Details
2.21-IDEA-PLUGIN 1 year ago Common, JVM Details
2.21 1 year ago Common, JVM Details
2.20 1 year ago Common, JVM Details
2.19 1 year ago Common, JVM Details
2.18.1 1 year ago Common, JVM Details
2.18 1 year ago Common, JVM Details
2.17 1 year ago Common, JVM Details
More versions will be indexed soon
Metadata
Version 1 year ago

2.23-IDEA-PLUGIN

  • Kotlin 1.6.21
  • Gradle 7.3.3
Supported targets
JVM:
  • 11
Developers