search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
582 stars 34 forks source link

Extract model checking for crashes #103

Closed zuevmaxim closed 3 years ago