issues
search
JetBrains
/
lincheck
Framework for testing concurrent data structures
Mozilla Public License 2.0
564
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Slf4j incompatibility
#169
CLOVIS-AI
closed
3 months ago
4
When a test fails, suggest adding the failing scenario as a custom one
#168
ndkoval
opened
1 year ago
0
Support blocking operations for threads
#167
ndkoval
opened
1 year ago
1
Change the license to MPL-2.0
#166
ndkoval
closed
1 year ago
0
Make README concise
#165
ndkoval
closed
1 year ago
0
Smarter parameter generators
#164
avpotapov00
closed
1 year ago
0
Introduce `@Operation.nonParallelGroup` instead of `@Operation.group` and `@OpGroupConfig`
#163
ndkoval
closed
1 year ago
1
Remove "modular testing" section from the guide
#162
ndkoval
closed
1 year ago
3
Bump Java, Kotlin, AtomicFU, and Gradle versions
#161
ndkoval
closed
1 year ago
0
VerifierState deprecated and warning about equals/hashcode removed.
#160
avpotapov00
closed
1 year ago
1
Parameter generators random seeds and execution random seed made not equal
#159
avpotapov00
closed
1 year ago
1
Single Lincheck options class with `testingTime(..)` option
#158
eupp
opened
1 year ago
2
Deprecate`logLevel` and introduce an internal `lincheck.debug` system property instead
#157
ndkoval
closed
1 year ago
3
Add Gradle instructions for Java 9+
#156
pettermahlen
closed
1 year ago
1
ShortGen to kotlin
#155
SampathKumarAmex
closed
1 year ago
2
Fix handleExceptionsAsResult documentation
#154
pettermahlen
closed
1 year ago
1
ShortGen unit test
#153
SampathKumarAmex
closed
1 year ago
2
VerboseTrace option was removed from the API
#152
avpotapov00
closed
1 year ago
1
Try to provide an interleaving trace for stress tests
#151
ndkoval
opened
1 year ago
0
Deprecate `@ModelCheckingCTest` and `@ModelCheckingCTest` annotations
#150
ndkoval
opened
1 year ago
3
Make parameter generators smarter
#149
ndkoval
closed
1 year ago
3
Remove the `verboseTrace` configuration option
#148
ndkoval
closed
1 year ago
2
minor fix for source file name
#147
LiYing2010
closed
1 year ago
0
Run init/post parts of the scenario in the 1st thread
#146
eupp
closed
1 year ago
3
Bugfix for wait-notify support in presence of lock re-entrance
#145
eupp
closed
1 year ago
1
example guide - minor cleanup
#144
rendner
closed
1 year ago
5
Proper blocking operations support
#143
ndkoval
opened
1 year ago
0
There is a vulnerability in Kotlin Stdlib:1.4.0,upgrade recommended
#142
QiAnXinCodeSafe
closed
1 year ago
1
Remove scam link from the documentation
#141
nikpachoo
closed
1 year ago
0
Cut exception stack straces thrown in validation functions
#140
ndkoval
closed
1 year ago
2
Start with the last failed scenario
#139
ndkoval
closed
1 year ago
7
Cut off events related to a detected spin lock
#138
ndkoval
closed
1 year ago
0
Add `testingTime(..)` option to configure Lincheck tests
#137
ndkoval
opened
1 year ago
8
Java 9+ instrumentation without VM options
#136
ndkoval
closed
4 months ago
3
Do not ask for equals/hashCode on the sequential specification until necessary
#135
ndkoval
closed
1 year ago
12
Random.nextInt(..) in Kotlin is not instrumented in the model checking mode
#134
ndkoval
closed
5 months ago
3
log4j2 incompatibility
#133
btwilk
closed
2 months ago
4
Thread yield transformer implementation is slightly incorrect
#132
kkarnauk
closed
1 year ago
1
Hash code stub transformer implementation is incorrect
#131
kkarnauk
closed
7 months ago
3
model checking hangs in 2.16 on jdk 19
#130
ben-manes
closed
4 months ago
8
unit test implementation for repository
#129
marcela-cardona-s
closed
1 year ago
3
Fix Verifier memory leak
#128
alefedor
closed
1 year ago
9
fix: fix property for Edit page button
#127
koshachy
closed
1 year ago
0
Fix NPE when trying to finish after deadlock detection
#126
alefedor
closed
1 year ago
0
internal lincheck NPE in monitor wait deadlock
#125
btwilk
closed
1 year ago
1
memory leak resulting in hung threads
#124
btwilk
closed
1 year ago
8
treating semaphore as atomic hangs operations
#123
btwilk
closed
1 year ago
2
Support operations with multiple suspension points
#122
alefedor
opened
1 year ago
6
coroutine finishing early
#121
btwilk
closed
1 year ago
2
parameter generator 100% correlated with operation generator
#120
btwilk
closed
1 year ago
2
Previous
Next