Skip to content

lincheck 2.1

Compare
Choose a tag to compare
@ndkoval ndkoval released this 01 Aug 19:52
· 275 commits to master since this release

Main Change

A suspend functions support has been introduced, so that it becomes possible to test data structures like channels or mutexes from the Kotlin Coroutines library; see the corresponding README section.

Improvements

  1. Incorrect results representation has become more readable (#2)
  2. The synchronization between threads in stress mode has been improved (#4)
  3. An optional (enabled by default) check that equals/hashCode methods for verifiers are specified correctly has been introduced (#6)