issues
search
JetBrains
/
lincheck
Framework for testing concurrent data structures
Mozilla Public License 2.0
538
stars
31
forks
source link
Create an infrastructure to debug issues caused by non-determinism
#318
Open
ndkoval
opened
2 months ago