search

JetBrains / lincheck

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

Unit tests for the scenario model and interleaving model #397

Open avpotapov00 opened 1 month ago

ndkoval commented 1 month ago

@avpotapov00, could you please add a description?