6 ms·
JetBrains’ Lincheck[0] is a good library in the Kotlin/Java world for this stuff. I especially like that it’s declarative, and also the way it outputs the linea
by yafetn 2y ago
JetBrains’ Lincheck[0] is a good library in the Kotlin/Java world for this stuff. I especially like that it’s declarative, and also the way it outputs the linearizability results.
[0]: https://github.com/JetBrains/lincheck https://github.com/JetBrains/lincheck