Fix NPE when trying to finish after deadlock detection

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

572 stars 33 forks source link

Fix NPE when trying to finish after deadlock detection #126

Closed alefedor closed 1 year ago

alefedor commented 1 year ago

Fixes #125.

LinCheck threw NPE when trying to finish safely after deadlock detection to avoid resource leak. There was already an internal mechanism to prevent blocking operations after an exception but it was not enabled for Java monitors