Loop detector refactoring

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

576 stars 33 forks source link

Closed eupp closed 5 months ago

eupp commented 5 months ago

Decouple LoopDetector from ManagedStrategy and extract it into separate file.