`LoopDetector` must reset the spin-lock detection counters when the operation finishes - Githubissues

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

`LoopDetector` must reset the spin-lock detection counters when the operation finishes #281

Closed eupp closed 4 months ago

eupp commented 4 months ago

Reset code location counters inside LoopDetector on each actor start