minor fix for source file name - Githubissues

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

564 stars 33 forks source link

minor fix for source file name #147

Closed LiYing2010 closed 1 year ago