search

JetBrains / lincheck

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

ParameterGenerator Formal Contract #177

Closed severn-everett closed 1 year ago

severn-everett commented 1 year ago

Makes the implicit constructor contract for implementations of ParameterGenerator explicit. This addresses issue #176

ndkoval commented 1 year ago

Hi @severn-everett, thanks for the PR! We are working on a new API, and the parameter generators will also be improved significantly. As the API will be different, I prefer not to update the code we will deprecate shortly. Therefore, I'm closing this PR. Stay tuned for updates!