Bug Fixes:
- Ignore
MethodHandles.Lookup.*and related methods during the analysis by @eupp in #548 - Fix Idea plugin integration with GPMC by @avpotapov00 in #551
- Supress internal
ThreadAbortedErrorin user threads by @eupp in #526
Improvements
- Allow loop detector replayer to continue executing after it finished the replayed part by @eupp in #524
- Improve thread creation representation by @bbrockbernd in #534
- Remove access calls from trace by @bbrockbernd in #538
- Add minimalistic logger to Lincheck by @dmitrii-artuhov in #546
- Automate representation test overwrite by @bbrockbernd in #550
- Add basic general-purpose model checker test for coroutines by @eupp in #539
- Pass location information of each trace point to IDEA debugger. by @lev-serebryakov-jetbrains in #533
Contributors
eupp, avpotapov00, and 3 other contributors