ShortGen unit test - Githubissues

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

564 stars 33 forks source link

ShortGen unit test #153

Closed SampathKumarAmex closed 1 year ago

ndkoval commented 1 year ago

Could you please add tests for all standard parameter generators? Please also take a look at #164.

ndkoval commented 1 year ago

@SampathKumarAmex, I've looked at the PR and noticed you use ShortGen directly. Such a test would be significantly more reliable when using short in Lincheck tests. Therefore, I'm declining the PR and opening a GitHub issue #193.