Skip to content

Lincheck 2.26

Compare
Choose a tag to compare
@ndkoval ndkoval released this 19 Feb 22:23
· 64 commits to master since this release

Bug Fixes

  • Fix non-determinism in the model checker and support recent changes in the Kotlin coroutines API (#273)