JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
582 stars 34 forks source link

Null values handled incorrectly #78

Closed ark-1 closed 3 years ago

ark-1 commented 3 years ago

It should be Serializable?, right?

https://github.com/Kotlin/kotlinx-lincheck/blob/fda4d46a72b71af8e127ede7ab9429d135829eaf/src/jvm/main/org/jetbrains/kotlinx/lincheck/Result.kt#L50

Krock21 commented 3 years ago

https://github.com/Kotlin/kotlinx-lincheck/tree/fda4d46a72b71af8e127ede7ab9429d135829eaf#parameter-and-result-types

ark-1 commented 3 years ago

The class I used is Serializable, but the type is nullable. Is there a reason, why null values should be prohibited there? It can be serialized as easily as other values.

alefedor commented 3 years ago

@ark-1 You are right, this is a bug, although not easy to reproduce. Will be fixed in the next release.