Interleaving replay after a spin cycle is added to avoid side effects… - Githubissues

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

555 stars 31 forks source link

Interleaving replay after a spin cycle is added to avoid side effects… #224

Closed avpotapov00 closed 11 months ago

avpotapov00 commented 11 months ago

… caused by multiple spin cycle iterations.