kotlinx-lincheck
kotlinx-lincheck copied to clipboard
Kotlin
Framework for testing concurrent data structures
Now we print actor results only failure type is `IncorrectResultsFailure`. But it looks weird and not consistent, especially in plugin. Let's always display actor results.
As we want to save backward binary compatibility, let's add [binary compatibility validator](https://github.com/Kotlin/binary-compatibility-validator)
I've been playing around with Lincheck to verify some properties on an algorithm I've been working on. The code itself is built using Akka and when attempting to instantiate the...
lincheck version: 2.15 log4j version: 2.17.2 In my system under test I have ``` private val log: Logger = LogManager.getLogger("SystemUnderTestKt") ``` When I run a lincheck test I get ```...
I want to use java.util.logging to print debugging information. But the Lincheck test would fail if I add java logging in my data class. ``` > linCheck FAILED java.lang.InternalError: CallerSensitive...
We need to implement a better model checker with partial order reduction and weak memory models support. The prototype is already available in [`eventstruct-mc`](https://github.com/JetBrains/lincheck/tree/eventstruct-mc). The remaining subtasks are listed below....
Lincheck version `2.29`. Steps to reproduce (unfortunately I don't know how to minimize): ``` git clone https://github.com/durban/choam.git cd choam git checkout 2711aabe sbt "stressLinchk/testOnly dev.tauri.choam.core.RxnModelTest" ``` It runs for a...
Currently, the configuration in which Lincheck Java-agent transforms all classes in the model checking mode does not work (see [the corresponding build configuration](https://teamcity.jetbrains.com/buildConfiguration/KotlinTools_KotlinxLincheck_BuildLinuxOnJava21TransformAllClassesInTheModelCheckingMode?mode=builds)). This configuration is used for testing purposes,...
A new approach to byte-code transformations via Java-agent #296 introduced significant performance overhead on some Java configurations (most notably, the [Java 11 configuration](https://teamcity.jetbrains.com/buildConfiguration/KotlinTools_KotlinxLincheck_BuildDevelopOnJava11/4581382?expandBuildDeploymentsSection=false&hideTestsFromDependencies=false&hideProblemsFromDependencies=false&expandBuildChangesSection=true) on our CI builds). The source of...