JetBrains / lincheck

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

ConcurrentModificationException bug fixed #216

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

Due to incorrect LoopDetector work, we ran into an infinite spin-cycle on trace collection. The test failed with timeout but in test threads, we continued to add elements to the trace list. That caused ConcurrentModificationException when we tried to traverse it to create this trace representation.