-
Notifications
You must be signed in to change notification settings - Fork 34
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Create an infrastructure to debug issues caused by non-determinism
non-determinism
#318
opened Apr 30, 2024 by
ndkoval
When a test fails, suggest adding the failing scenario as a custom one
postponed
#168
opened Apr 18, 2023 by
ndkoval
Deprecate
@ModelCheckingCTest
and @ModelCheckingCTest
annotations
#150
opened Mar 26, 2023 by
ndkoval
Add
testingTime(..)
option to configure Lincheck tests
postponed
#137
opened Nov 25, 2022 by
ndkoval
ProTip!
Find all open issues with in progress development work with linked:pr.