kotlinx-lincheck icon indicating copy to clipboard operation
kotlinx-lincheck copied to clipboard

Framework for testing concurrent data structures

Results 170 kotlinx-lincheck issues
Sort by recently updated
recently updated
newest added

The following test succeeds if we get the "threadLocal" from the concurrenthashmap (keyed by thread id), but fails if we get it from actually thread local. ```Kotlin class LincheckTest {...

To find the tests, find occurrences of the issue number in the source code.

Trace Debugger

- [x] Up-to-date the design doc - [ ] Polish the API design to support Java - [ ] Make a call with the team to approve the updated design...

general-purpose mc

Check Bob.Brockbernd repository and port some tests from there

general-purpose mc

When calling `Object#1.foo()`, we would like to make the call more intuitive: * in case `this` equals `Object#1`, we drop the caller name and show only `foo()` * in case...

general-purpose mc

The trace can contain several consecutive thread switches to the blocks of the same spin-loop. Example: ``` | /* The following events repeat infinitely: */ | | ┌╶> state ➜...

general-purpose mc