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.

Kodee spinning
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
License
  • Mozilla Public License 2.0

Updated 6 hours ago