kotlinx-lincheck
kotlinx-lincheck copied to clipboard
Framework for testing concurrent data structures
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.
Closes #484, #451
- [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...
Check Bob.Brockbernd repository and port some tests from there
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...
The trace can contain several consecutive thread switches to the blocks of the same spin-loop. Example: ``` | /* The following events repeat infinitely: */ | | ┌╶> state ➜...