JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
545 stars 31 forks source link

Allow at most one validation function to be declared #242

Closed avpotapov00 closed 5 months ago

avpotapov00 commented 7 months ago

Having more than one validation function can make Lincheck IDEA plugin development easier as there will be no need to paint validation functions that passed successfully - if it's failed, it will be painted as a failed node; if not - it won't be painted at all. This limitation isn't inconvenient for a user, as he can always call other validation parts extracted to a separate method from the only validation function we allow. Since there is no usage of multiply validation functions in the open-source projects, we can now introduce this limitation with an appropriate warning message in case of violation.