search

JetBrains / lincheck

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

Remove redundant default managed strategy guarantees #306

Closed eupp closed 2 months ago