Detect livelocks and hangs in validation functions - Githubissues

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

538 stars 31 forks source link

Detect livelocks and hangs in validation functions #291

Open ndkoval opened 3 months ago