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

69 Open 116 Closed
69 Open 116 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

ClassLoaders are not transformed in ModelChecking mode bug Something isn't working non-determinism
#412 opened Oct 7, 2024 by avpotapov00
@avpotapov00
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
ClassCastException in Lincheck bug Something isn't working
#407 opened Oct 1, 2024 by I-Gleb
@eupp
1
IndexOutOfBoundsException in the modelChecking test bug Something isn't working non-determinism
#405 opened Sep 30, 2024 by de-shyt
@avpotapov00
"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
UnsupportedOperationException after adding a custom scenario bug Something isn't working
#402 opened Sep 27, 2024 by de-shyt
@ndkoval
2
Error while adding a custom scenario bug Something isn't working non-determinism
#401 opened Sep 27, 2024 by de-shyt
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
Reproduce test in debug without repeating all scenarios enhancement New feature or request IJ Plugin
#396 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
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
Incomplete trace bug Something isn't working
#384 opened Sep 25, 2024 by bbrockbernd
4
ProTip! Exclude everything labeled bug with -label:bug.