kotlinx-lincheck
kotlinx-lincheck copied to clipboard
Kotlin
Framework for testing concurrent data structures
Please see the added `ValidationFunctionLivelockTest` and `ValidationFunctionHangsIsolatedTest` tests in https://github.com/JetBrains/lincheck/pull/291
Only the `String` and `Int` generators are tested now. We need to add tests for the others.
Lincheck provides great support for `suspend` operations in Kotlin. However, it does not support blocking data structures that park native threads. We can track `park` invocations and handle `InterruptedException`-s to...
Apparently, there is a bug in the scenario minimization, related to the minimization of initial part of a scenario. It leads to flaky tests. See examples in these builds on...
Now we treat all methods of Unsafe as atomic methods. Let's do it only for the necessary ones.
Please consider the following test. Error reproduces with Lincheck version 2.26 with the following output: The test: ```kotlin @file:OptIn(InternalCoroutinesApi::class) /* * Lincheck * * Copyright (C) 2019 - 2024 JetBrains...
- [ ] validate that weak references may cause non-determinism in model checking mode (and add a test) - [ ] design the approach to support weak references in model...
Resolves #254. - Applies Lincheck transformer after coverage transformer (otherwise the coverage may incorretly report branches introduced by Lincheck transformer) - Added coverage filter for ommiting the instrumentation by Lincheck's...
