JetBrains / lincheck

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

When a test fails, suggest adding the failing scenario as a custom one #168

Open ndkoval opened 1 year ago

ndkoval commented 1 year ago

We need to provide the code that adds the failing scenario as a custom one. Users should be able to simply copy-and-paste the suggested code.

Please check whether the test is implemented in Kotlin or Java (we can safely ignore other languages now) to determine the programming language for the suggestion.