search

JetBrains / lincheck

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

Model checking implementation for NVM #79

Closed zuevmaxim closed 3 years ago

zuevmaxim commented 3 years ago

It works!