search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
574 stars 33 forks source link

Fix a big in wait/notify processing in model checking #82

Closed alefedor closed 3 years ago

alefedor commented 3 years ago

Fixed several issues about Object.wait() and Object.notify() in the model checking mode.