search

JetBrains / lincheck

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

Specialized collections with package remapping #231

Closed avpotapov00 closed 4 months ago

avpotapov00 commented 1 year ago
  1. Standart java collections replaced with Fastutils collections
  2. Remapping Fastutil package to Lincheck package using Gradle shadow plugin
ndkoval commented 4 months ago

With the current lazy transformation approach for model checking, we can safely keep using the standard collections. Therefore, I'm closing the PR. Thanks @avpotapov00 for investigating potential performance improvements!