Skip to content

lincheck-2.10
Compare
Choose a tag to compare
@ndkoval ndkoval released this 17 Nov 20:49
· 209 commits to master since this release
lincheck-2.10
39ca239

Features

  1. Allow some of the operations to be blocking while testing for obstruction-freedom (#55, #58)
  2. Support prompt cancellation (#57, #59)

Bug Fixes

  1. The last event was not logged sometimes on obstruction freedom violation
Assets 2
Loading