JetBrains / lincheck

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

Set lincheck version in tests for the plugin compatibility #312

Closed zuevmaxim closed 5 months ago

zuevmaxim commented 5 months ago

For the plugin version compatibility check, we must know the lincheck version. This is done with 'implementation version' mark in a jar, but in lincheck tests, class files are taken directly from disc. So, for debugging lincheck tests, we pass a system property that contains the version.