search

JetBrains / lincheck

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

Parameter generators random seeds and execution random seed made not equal #159

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

Parameter generators random seeds and execution random seed made not equal

ndkoval commented 1 year ago

The fix will be provided as a part of #164