issues
search
JetBrains
/
lincheck
Framework for testing concurrent data structures
Mozilla Public License 2.0
555
stars
31
forks
source link
Allow removing all operations in the parallel part during minimization
#215
Closed
ndkoval
closed
11 months ago