search

JetBrains / lincheck

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

Reset parameter generators between scenario generation #179

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

In current implementation parameter we reset parameter generators on each Lincheck run. This causes increase of LTS due to very fast increasing parameters diversity. We need to reset parameters generators on each scenario generation.

btwilk commented 1 year ago

It seems like it would be too easy to introduce undesired correlation between scenarios. E.g., consider any test with a single operation.

avpotapov00 commented 1 year ago

It would be the case if we restarted random every time between each scenario, but we will only shrink range to default, so the bigger scenario is, the more diverse values will be supplied to parameters.