Live-locks and hangs in a validation function are not supported

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

576 stars 33 forks source link

Open ndkoval opened 6 months ago

ndkoval commented 6 months ago

Please see the added ValidationFunctionLivelockTest and ValidationFunctionHangsIsolatedTest tests in https://github.com/JetBrains/lincheck/pull/291