search

JetBrains / lincheck

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

Unclear exception message when no operations defined #232

Closed avpotapov00 closed 5 months ago

avpotapov00 commented 1 year ago

If we have a class where no methods annotated with @Operation we get exceptions with this message:

image

We should improve it to make it more clear.