CommonJVM
lincheck
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.
Package | Supported platforms & targets | |
---|---|---|
org.jetbrains.kotlinx:lincheck:2.34 | Common, JVM / (1 target) | Details |
Metadata
Latest release
29 days ago
2.34
- 576 stars
- Created 5 years ago
- 89 open issues
- Latest activity: 20 hours ago
Links
License
- Mozilla Public License 2.0
Updated 6 hours ago