Issues
- 0
- 2
ClassCastException with dynamic reflection
#282 opened by nickrobison - 0
Support for IntelliJ IDEA plugin
#253 opened by ndkoval - 0
New model checker
#257 opened by ndkoval - 5
Lincheck tests are slow when the number of CPUs is lower than the number of parallel threads
#280 opened by ndkoval - 0
- 1
Add tests for all parameter generators
#193 opened by ndkoval - 2
- 0
Don't track all Unsafe methods as atomic
#288 opened by avpotapov00 - 0
Execution hangs in test with channels
#283 opened by avpotapov00 - 1
Support `WeakReference` in model checking mode
#279 opened by eupp - 11
`IndexOutOfBoundsException` from `ManagedStrategy.getConcurrentActorCausesBlocking`
#275 opened by durban - 2
Model checking violation (2.18.1 vs 2.25)
#278 opened by ben-manes - 0
- 3
User code can catch internal Linchek ForcibleExecutionFinishException by catching Exception
#225 opened by avpotapov00 - 17
Hang in FixedActiveThreadsExecutor (Lincheck 2.19)
#194 opened by ben-manes - 1
Tests fail from `Thread.stop` call as of JDK 20(?)
#210 opened by cpovirk - 2
JVM 21 support
#265 opened by durban - 1
- 1
Test on different VMs
#255 opened by ndkoval - 2
Track coroutine events in arbitrary code
#260 opened by eupp - 5
Model checking deadlock
#251 opened by durban - 10
Testing blocking operations
#236 opened by adamw - 0
Validate that virtual threads are supported
#261 opened by eupp - 0
Coverage support
#254 opened by ndkoval - 0
Plan the work on the new API
#259 opened by ndkoval - 0
Propagate `Error`s when catching exceptions
#258 opened by ndkoval - 0
- 0
Try to optimize the runner utilizing virtual threads
#256 opened by ndkoval - 3
false positive live locks when upgrading to v2.21
#223 opened by btwilk - 0
Create real-world benchmarks
#252 opened by ndkoval - 2
Refactor validation function containers to get rid of using Actor as a wrapper of a validation method
#241 opened by avpotapov00 - 0
- 4
Threads are not killed after completing tests with deadlocks found with locks
#199 opened by avpotapov00 - 0
Clarify validation failure error messages
#220 opened by eupp - 2
Reporting lincheck bug
#235 opened by Numero7 - 9
unable to inspect throwable type in ExceptionResult
#203 opened by btwilk - 2
Not All Threads are Started During Invocation
#234 opened by kevinly01 - 0
- 0
- 0
- 0
Spin cycle period detected incorrect when the first operation before a spin cycle is the same as the last operation in the cycle.
#219 opened by avpotapov00 - 0
Spin cycle start label placed incorrectly when first cycle operation is some non-atomic method call
#218 opened by avpotapov00 - 3
Unclear exception result
#207 opened by zuevmaxim - 1
- 0
- 0
Print operation results in interleaving traces
#195 opened by ndkoval - 1
FixedActiveThreadExecutor hungs
#201 opened by avpotapov00 - 0
Generate examples in the documentation from source code
#200 opened by eupp - 6