| File | # lines | # units |
|---|
|
|
456 |
76 |
|
1833 |
52 |
|
253 |
48 |
|
506 |
42 |
|
797 |
38 |
|
808 |
37 |
|
512 |
34 |
Streams.ktin trace/src/main/org/jetbrains/lincheck/trace |
234 |
30 |
|
253 |
28 |
|
147 |
25 |
|
165 |
25 |
|
248 |
22 |
|
899 |
22 |
LoopDetector.ktin src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed |
396 |
22 |
|
312 |
20 |
|
163 |
20 |
Types.ktin common/src/main/org/jetbrains/lincheck/descriptors |
196 |
20 |
|
616 |
17 |
|
400 |
17 |
TracePoint.ktin src/jvm/main/org/jetbrains/kotlinx/lincheck/trace |
522 |
15 |
|
100 |
14 |
|
177 |
14 |
|
236 |
14 |
|
101 |
13 |
|
173 |
12 |
|
47 |
11 |
|
322 |
11 |
|
444 |
11 |
|
312 |
10 |
|
240 |
9 |
|
46 |
8 |
SMAPInfo.ktin jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent |
420 |
8 |
|
106 |
8 |
|
125 |
8 |
|
308 |
7 |
|
138 |
7 |
|
109 |
7 |
|
272 |
7 |
|
83 |
7 |
LockFreeTaskQueue.ktin integration-test/lincheck/src/main/org/jetbrains/lincheck_test/datastructures |
207 |
7 |
|
249 |
6 |
|
108 |
6 |
|
254 |
6 |
|
175 |
6 |
Runner.ktin src/jvm/main/org/jetbrains/kotlinx/lincheck/runner |
48 |
6 |
|
353 |
6 |
|
204 |
6 |
|
61 |
6 |
channel11.ktin integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels |
65 |
6 |
channel13.ktin integration-test/lincheck/src/main/org/jetbrains/lincheck_test/gpmc/coroutines/channels |
55 |
6 |