Skip to content

lincheck-2.7
Compare
Choose a tag to compare
@ndkoval ndkoval released this 27 Apr 11:45
· 230 commits to master since this release
lincheck-2.7
faa113a

Features

  1. Add invariants validation mechanism (#36)

Bug Fixes and Improvements

  1. Fix LinkageError when using CancellableContinuation (#37)
  2. Improve the quality of error messages and make the verification phase slightly faster (#35)
Assets 2
Loading