File tree
17 files changed
+160
-8
lines changed- utbot-cli/src/main/kotlin/org/utbot/cli
- utbot-framework/src/main/kotlin/org/utbot
- external/api
- framework
- codegen
- plugin/sarif
- utbot-framework-test/src/test/java/org/utbot/examples/manual
- utbot-gradle
- docs
- src
- main/kotlin/org/utbot/gradle/plugin/extension
- test/kotlin/org/utbot/gradle/plugin/extension
- utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/generator
- utbot-junit-contest/src/main/kotlin/org/utbot/contest
- utbot-maven
- docs
- src
- main/kotlin/org/utbot/maven/plugin
- extension
- test/kotlin/org/utbot/maven/plugin/extension
- utbot-testing/src/main/kotlin/org/utbot/testing
17 files changed
+160
-8
lines changedLines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
| 23 | + | |
23 | 24 |
| |
24 | 25 |
| |
25 | 26 |
| |
| |||
211 | 212 |
| |
212 | 213 |
| |
213 | 214 |
| |
| 215 | + | |
| 216 | + | |
214 | 217 |
| |
215 | 218 |
| |
216 | 219 |
| |
|
Lines changed: 20 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
| 26 | + | |
26 | 27 |
| |
27 | 28 |
| |
28 | 29 |
| |
| |||
148 | 149 |
| |
149 | 150 |
| |
150 | 151 |
| |
| 152 | + | |
151 | 153 |
| |
152 | 154 |
| |
153 | 155 |
| |
| |||
222 | 224 |
| |
223 | 225 |
| |
224 | 226 |
| |
| 227 | + | |
225 | 228 |
| |
226 | 229 |
| |
227 | 230 |
| |
| |||
245 | 248 |
| |
246 | 249 |
| |
247 | 250 |
| |
| 251 | + | |
248 | 252 |
| |
249 | 253 |
| |
250 | 254 |
| |
| |||
321 | 325 |
| |
322 | 326 |
| |
323 | 327 |
| |
| 328 | + | |
324 | 329 |
| |
325 | 330 |
| |
326 | 331 |
| |
| |||
343 | 348 |
| |
344 | 349 |
| |
345 | 350 |
| |
| 351 | + | |
346 | 352 |
| |
347 | 353 |
| |
348 | 354 |
| |
| |||
405 | 411 |
| |
406 | 412 |
| |
407 | 413 |
| |
| 414 | + | |
408 | 415 |
| |
409 | 416 |
| |
410 | 417 |
| |
| |||
428 | 435 |
| |
429 | 436 |
| |
430 | 437 |
| |
| 438 | + | |
431 | 439 |
| |
432 | 440 |
| |
433 | 441 |
| |
| |||
510 | 518 |
| |
511 | 519 |
| |
512 | 520 |
| |
| 521 | + | |
513 | 522 |
| |
514 | 523 |
| |
515 | 524 |
| |
| |||
532 | 541 |
| |
533 | 542 |
| |
534 | 543 |
| |
| 544 | + | |
535 | 545 |
| |
536 | 546 |
| |
537 | 547 |
| |
| |||
613 | 623 |
| |
614 | 624 |
| |
615 | 625 |
| |
| 626 | + | |
616 | 627 |
| |
617 | 628 |
| |
618 | 629 |
| |
| |||
702 | 713 |
| |
703 | 714 |
| |
704 | 715 |
| |
| 716 | + | |
705 | 717 |
| |
706 | 718 |
| |
707 | 719 |
| |
| |||
724 | 736 |
| |
725 | 737 |
| |
726 | 738 |
| |
| 739 | + | |
727 | 740 |
| |
728 | 741 |
| |
729 | 742 |
| |
| |||
798 | 811 |
| |
799 | 812 |
| |
800 | 813 |
| |
| 814 | + | |
801 | 815 |
| |
802 | 816 |
| |
803 | 817 |
| |
| |||
870 | 884 |
| |
871 | 885 |
| |
872 | 886 |
| |
| 887 | + | |
873 | 888 |
| |
874 | 889 |
| |
875 | 890 |
| |
| |||
893 | 908 |
| |
894 | 909 |
| |
895 | 910 |
| |
| 911 | + | |
896 | 912 |
| |
897 | 913 |
| |
898 | 914 |
| |
| |||
982 | 998 |
| |
983 | 999 |
| |
984 | 1000 |
| |
| 1001 | + | |
985 | 1002 |
| |
986 | 1003 |
| |
987 | 1004 |
| |
| |||
1055 | 1072 |
| |
1056 | 1073 |
| |
1057 | 1074 |
| |
| 1075 | + | |
1058 | 1076 |
| |
1059 | 1077 |
| |
1060 | 1078 |
| |
| |||
1120 | 1138 |
| |
1121 | 1139 |
| |
1122 | 1140 |
| |
| 1141 | + | |
1123 | 1142 |
| |
1124 | 1143 |
| |
1125 | 1144 |
| |
| |||
1196 | 1215 |
| |
1197 | 1216 |
| |
1198 | 1217 |
| |
| 1218 | + | |
1199 | 1219 |
| |
1200 | 1220 |
| |
1201 | 1221 |
| |
|
Lines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
| |||
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
| |||
82 | 84 |
| |
83 | 85 |
| |
84 | 86 |
| |
| 87 | + | |
85 | 88 |
| |
86 | 89 |
| |
87 | 90 |
| |
|
Lines changed: 2 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - | |
34 |
| - | |
| 33 | + | |
35 | 34 |
| |
36 | 35 |
| |
37 | 36 |
| |
| |||
82 | 81 |
| |
83 | 82 |
| |
84 | 83 |
| |
85 |
| - | |
86 |
| - | |
87 |
| - | |
88 | 84 |
| |
| 85 | + | |
89 | 86 |
| |
90 | 87 |
| |
91 | 88 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
| 74 | + | |
74 | 75 |
| |
75 | 76 |
| |
76 | 77 |
| |
|
Lines changed: 13 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| 9 | + | |
| 10 | + | |
9 | 11 |
| |
10 | 12 |
| |
11 | 13 |
| |
| |||
51 | 53 |
| |
52 | 54 |
| |
53 | 55 |
| |
| 56 | + | |
| 57 | + | |
54 | 58 |
| |
55 | 59 |
| |
56 | 60 |
| |
| |||
76 | 80 |
| |
77 | 81 |
| |
78 | 82 |
| |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
79 | 92 |
| |
80 | 93 |
| |
81 | 94 |
| |
|
Lines changed: 11 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
| 44 | + | |
44 | 45 |
| |
45 | 46 |
| |
46 | 47 |
| |
| |||
60 | 61 |
| |
61 | 62 |
| |
62 | 63 |
| |
| 64 | + | |
63 | 65 |
| |
64 | 66 |
| |
65 | 67 |
| |
| |||
81 | 83 |
| |
82 | 84 |
| |
83 | 85 |
| |
| 86 | + | |
84 | 87 |
| |
85 | 88 |
| |
86 | 89 |
| |
| |||
119 | 122 |
| |
120 | 123 |
| |
121 | 124 |
| |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
122 | 133 |
| |
123 | 134 |
| |
124 | 135 |
| |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
52 | 58 |
| |
53 | 59 |
| |
54 | 60 |
| |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
6 | 7 |
| |
7 | 8 |
| |
8 | 9 |
| |
| |||
57 | 58 |
| |
58 | 59 |
| |
59 | 60 |
| |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
60 | 66 |
| |
61 | 67 |
| |
62 | 68 |
| |
|
0 commit comments