VerifierState deprecated and warning about equals/hashcode removed.

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

564 stars 33 forks source link

VerifierState deprecated and warning about equals/hashcode removed. #160

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

requireStateEquivalenceImplCheck option was remove and VerifierState was marked deprecated. Annoying warnings about equals/hashcode removed were removed.

See #135 for details.

ndkoval commented 1 year ago

Please also resolve the conflicts