Issues
- 0
Add ability to stop at switch events
#393 opened - 0
- 0
- 1
- 0
- 1
Support externally created threads
#388 opened - 0
Support tracking of custom threads
#387 opened - 1
New API for general-purpose model checking
#386 opened - 4
Incomplete trace
#384 opened - 0
- 0
- 0
ClassCastException in Lincheck
#381 opened - 0
- 0
- 1
- 0
Non-determinism is found
#377 opened - 2
Lincheck NoClassDefFoundError
#376 opened - 0
- 2
Internal index out of bounds exception
#373 opened - 0
- 0
State diagram for coroutines is not as expected
#365 opened - 0
- 1
Broken Links in Documentation
#362 opened - 3
Provide a DSL to declare algorithms
#359 opened - 0
- 2
The execution has hung
#355 opened - 0
- 1
Support multiple suspension points
#347 opened - 2
Non-determinism is found
#346 opened - 5
- 4
- 2
- 1
Fix the error output when wrong number of parameters passed to actor function in custom scenario DSL
#337 opened - 4
- 0
Add references to the Lincheck Idea Plugin
#332 opened - 0
- 0
- 0
- 0
- 1
- 2
- 0
Show object identifiers when calling methods or manipulating fields on non-`this` instances
#320 opened - 0
Always allow extra suspensions and do not show "SUSPENDED" in the result when an operation completes
#319 opened - 0
- 1
Names of variables that are written/read through AtomicReference are not displayed in trace
#317 opened - 0
- 6
- 0
- 0
- 3