Clocks representation fix when initial executions are present

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

555 stars 31 forks source link

Closed avpotapov00 closed 3 months ago

avpotapov00 commented 11 months ago

When scenario has initial part, clocks doesn't reflect them, considering only operations in the parallel part.

ndkoval commented 11 months ago

@avpotapov00 gentle reminder