kotlinx-lincheck
kotlinx-lincheck copied to clipboard
Kotlin
Framework for testing concurrent data structures
Version: 2.21 When trying to upgrade to Lincheck v2.21, I've encountered what I believe to be false positive livelocks. It looks like there is a fixed limit on the complexity...
We need real-world benchmarks to track performance degradations and verify optimizations
Currently, we store validation functions as `Actor` inside `ExecutionScenario` etc., but `Actor` contains additional information about the operation, defined by user, and logically has fewer limitations: 1. An actor can...
https://kotlinlang.org/docs/introduction.html#write-and-run-the-test BasicCounterTest.kt test code contains Counter class which duplicates the one located in main.kt
If we have a class where no methods annotated with `@Operation` we get exceptions with this message: We should improve it to make it more clear.
Consider the following example: ``` @Param(name = "element", gen = IntGen::class, conf = "0:3") class FaaQueueSpinLockTest { private val queue = FlatCombiningQueue() @Operation fun enqueue(@Param(name = "element") element: Int) =...
Consider the following example: ``` ** * Checks that if spin cycle starts right after method call then spin cycle start event will be placed correctly. */ class SpinCycleFirstExecutionIsFirstInMethodCallTest {...
We can generate the code of examples given in the docs (readme, guide, etc) and the output of the tool automatically from the source code. This will help us to...
Currently, subclasses of `TestThreadExecution` class, which are used to run scenario threads, are generated from bytecode (see `TestThreadExecutionGenerator` class). It makes it hard to maintain and modify the execution scenario...
As Lincheck is not a Kotlin-specific framework, the repository has been recently moved from "Kotlin" GitHub organization to "JetBrains." However, to complete the transition, two additional steps are necessary: 1....