Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
code-coverage-integration
branch
122-support-operations-with-multiple-suspension-points
168-when-a-test-fails-suggest-adding-the-failing-scenario-as-a-custom-one
168-when-a-test-fails-suggest-adding-the-failing-scenario-as-a-custom-one-2
244-add-actor-results-to-trace-in-case-of-any-failure
315-names-of-variables-that-are-writtenread-through-varhandle-are-not-displayed-in-trace
320-show-object-identifiers-when-calling-methods-or-manipulating-fields-on-non-this-instances
332-add-references-to-the-lincheck-idea-plugin
340-priorityblockingqueue-problem-with-getting-the-field-offset-on-a-hidden-class
343-object-numeration-doesnt-correspond-between-plugin-and-text-output
347-support-multiple-suspension-points
ReentrantLockSetTest
add-blocking-actor
api
benchmarks
brute-force
bugfix-scenario-minimization
cav-artifact
change-coroutines-api
code-coverage-integration
concurrent-linked-deque-bug
coverage-benchmarks
custom-collections
custom-scenarios
debug-java-11-perf
develop
distributed-systems
dynamic-threads
dynamic-threads-more-tests
dynamic-threads-representation
dynamic-threads-test
tag
lincheck-2.34
lincheck-2.33
lincheck-2.32
lincheck-2.31
lincheck-2.30
lincheck-2.29
lincheck-2.28.1
lincheck-2.28
lincheck-2.27
lincheck-2.26
lincheck-2.25
lincheck-2.24
lincheck-2.23
lincheck-2.22
lincheck-2.21
lincheck-2.20
lincheck-2.19
lincheck-2.18.1
lincheck-2.18
lincheck-2.17
lincheck-2.16
lincheck-2.15
lincheck-2.14.1
lincheck-2.14
lincheck-2.13
lincheck-2.12
lincheck-2.11
lincheck-2.10
lincheck-2.9
lincheck-2.8
lincheck
docs
topics
Name
..
constraints.md
introduction.md
lincheck-guide.md
operation-arguments.md
progress-guarantees.md
sequential-specification.md
testing-strategies.md