Skip to content

Issues: JetBrains/lincheck

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

64 Open 127 Closed
64 Open 127 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve loop representation
#436 opened Dec 10, 2024 by ndkoval
Test runs and hangs forever
#435 opened Dec 10, 2024 by frankcoutinho
Set-up logging infrastructure enhancement New feature or request
#434 opened Dec 6, 2024 by eupp
7 tasks
Stress strategy unable to find bug-reproducing scenario on CI bug Something isn't working
#425 opened Nov 25, 2024 by dmitrii-artuhov
@dmitrii-artuhov
1
Bytecode verification error after instrumentation of constructors (<init> methods) because of leaking this bug Something isn't working
#424 opened Nov 14, 2024 by dmitrii-artuhov
Static class initialization code is not guaranteed to run in ignored section bug Something isn't working
#419 opened Oct 18, 2024 by eupp
6
Halting problem when using I/O bug Something isn't working
#409 opened Oct 1, 2024 by I-Gleb
1
Busy-wait loop causes OutOfMemoryErrorException in Lincheck bug Something isn't working
#408 opened Oct 1, 2024 by I-Gleb
"Count 'n' must be non-negative, but was -4" bug Something isn't working
#404 opened Sep 30, 2024 by de-shyt
IllegalStateException: Trying to switch the execution to thread 0 bug Something isn't working non-determinism
#403 opened Sep 30, 2024 by de-shyt
@avpotapov00
Error while adding a custom scenario bug Something isn't working non-determinism
#401 opened Sep 27, 2024 by de-shyt
@avpotapov00
Layout and zoom settings are lost between different state visualisations bug Something isn't working IJ Plugin
#400 opened Sep 27, 2024 by avpotapov00
Highlight newly added items on diagram enhancement New feature or request IJ Plugin
#399 opened Sep 27, 2024 by avpotapov00
UI autotests enhancement New feature or request IJ Plugin
#398 opened Sep 27, 2024 by avpotapov00
Unit tests for the scenario model and interleaving model
#397 opened Sep 27, 2024 by avpotapov00
1
Limit plugin dependencies bug Something isn't working IJ Plugin
#395 opened Sep 27, 2024 by avpotapov00
The Rerun button works incorrectly in lincheck project
#394 opened Sep 27, 2024 by avpotapov00
1
Add ability to stop at switch events enhancement New feature or request IJ Plugin
#393 opened Sep 27, 2024 by avpotapov00
Stepping is not Syncronized with syncronization bug Something isn't working IJ Plugin
#392 opened Sep 27, 2024 by avpotapov00
Do not show scenario and object graph diagram views for the general-purpose model checker general-purpose mc IJ Plugin
#391 opened Sep 26, 2024 by eupp
@avpotapov00
Improve support of time-related APIs in the model checking mode general-purpose mc
#390 opened Sep 25, 2024 by eupp
1
Improve support of static initialization blocks and statically-reachable memory general-purpose mc
#389 opened Sep 25, 2024 by eupp
@dmitrii-artuhov
1
Support externally created threads general-purpose mc
#388 opened Sep 25, 2024 by eupp
1
Support tracking of custom threads general-purpose mc
#387 opened Sep 25, 2024 by eupp
@eupp
New API for general-purpose model checking general-purpose mc
#386 opened Sep 25, 2024 by eupp
@dmitrii-artuhov
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.