Non-determinism fix: ClassLoaders are now transformed in the Model Checking mode

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

587 stars 34 forks source link

Non-determinism fix: ClassLoaders are now transformed in the Model Checking mode #413

Closed avpotapov00 closed 1 month ago

avpotapov00 commented 1 month ago

closes #412, #377, #405

ndkoval commented 1 month ago

Also, we can slightly improve the running time of small tests by re-instrumenting only those classes with ClassLoader in their names, which are assignable to ClassLoader.