Skip to content

Lincheck 3.4

Latest

Choose a tag to compare

@eupp eupp released this 26 Dec 00:48

Bug fixes

  • Add a check for local vars count before inserting afterLocalWrite by @dmitrii-artuhov in #881
  • Fix performance regression by @eupp in #889
  • Fix ignored section constructor instrumentation by @eupp in #912
  • Fix unsafe field resolve bug by @eupp in #914

Improvements

Deprecated

  • Deprecate @ModelCheckingCTest and @ModelCheckingCTest annotations by @jetbrains-junie[bot] in #818

Infrastructure

Trace Recorder

New Contributors

Full Changelog: lincheck-3.3...lincheck-3.4