AryaWu/sqlite
0
1[info] Using config /sqlite/mull.yml2[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.3[warning] Could not find dynamic library: libm.so.64[warning] Could not find dynamic library: libc.so.65[info] Warm up run (threads: 1)6
[################################] 1/1. Finished in 110ms7[info] Extracting coverage information (threads: 1)8
[################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
[################################] 1/1. Finished in 2ms11[info] Baseline run (threads: 1)12
[################################] 1/1. Finished in 108ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/main.c:287:5 ExecutionResult: Passed15[debug] /sqlite/src/main.c:36:10 ExecutionResult: Failed16[debug] /sqlite/src/main.c:803:9 ExecutionResult: Passed17
[--------------------------------] 2/32618[debug] /sqlite/src/main.c:319:3 ExecutionResult: Passed19
[--------------------------------] 4/32620[debug] /sqlite/src/main.c:859:35 ExecutionResult: Passed21
[--------------------------------] 5/32622[debug] /sqlite/src/main.c:1945:12 ExecutionResult: Passed23[debug] /sqlite/src/main.c:1381:3 ExecutionResult: Passed24
[--------------------------------] 7/32625[debug] /sqlite/src/main.c:3338:37 ExecutionResult: Passed26[debug] /sqlite/src/main.c:1236:13 ExecutionResult: Passed27[debug] /sqlite/src/main.c:1512:13 ExecutionResult: Passed28[debug] /sqlite/src/main.c:3642:3 ExecutionResult: Passed29
[#-------------------------------] 11/32630[debug] /sqlite/src/main.c:2233:12 ExecutionResult: Failed31[debug] /sqlite/src/main.c:3401:20 ExecutionResult: Passed32[debug] /sqlite/src/main.c:3592:18 ExecutionResult: Failed33[debug] /sqlite/src/main.c:3547:18 ExecutionResult: Failed34
[#-------------------------------] 15/32635[debug] /sqlite/src/main.c:2910:14 ExecutionResult: Passed36[debug] /sqlite/src/main.c:2039:55 ExecutionResult: Passed37[debug] /sqlite/src/main.c:1488:3 ExecutionResult: Passed38
[#-------------------------------] 18/32639[debug] /sqlite/src/main.c:818:38 ExecutionResult: Failed40
[#-------------------------------] 19/32641[debug] /sqlite/src/main.c:215:5 ExecutionResult: Passed42[debug] /sqlite/src/main.c:803:9 ExecutionResult: Passed43
[##------------------------------] 21/32644[debug] /sqlite/src/main.c:324:3 ExecutionResult: Passed45
[##------------------------------] 22/32646[debug] /sqlite/src/main.c:1425:20 ExecutionResult: Failed47
[##------------------------------] 23/32648[debug] /sqlite/src/main.c:860:25 ExecutionResult: Passed49
[##------------------------------] 24/32650[debug] /sqlite/src/main.c:1945:12 ExecutionResult: Passed51[debug] /sqlite/src/main.c:1384:8 ExecutionResult: Passed52
[##------------------------------] 26/32653[debug] /sqlite/src/main.c:3340:19 ExecutionResult: Passed54[debug] /sqlite/src/main.c:1236:13 ExecutionResult: Passed55[debug] /sqlite/src/main.c:1816:3 ExecutionResult: Passed56[debug] /sqlite/src/main.c:3645:3 ExecutionResult: Passed57
[##------------------------------] 30/32658[debug] /sqlite/src/main.c:2234:10 ExecutionResult: Passed59[debug] /sqlite/src/main.c:3405:43 ExecutionResult: Passed60[debug] /sqlite/src/main.c:3601:3 ExecutionResult: Passed61[debug] /sqlite/src/main.c:3547:23 ExecutionResult: Passed62[debug] /sqlite/src/main.c:2910:26 ExecutionResult: Passed63
[###-----------------------------] 35/32664[debug] /sqlite/src/main.c:2047:11 ExecutionResult: Passed65[debug] /sqlite/src/main.c:1489:16 ExecutionResult: Passed66
[###-----------------------------] 37/32667[debug] /sqlite/src/main.c:288:41 ExecutionResult: Failed68
[###-----------------------------] 38/32669[debug] /sqlite/src/main.c:819:9 ExecutionResult: Passed70
[###-----------------------------] 39/32671[debug] /sqlite/src/main.c:227:6 ExecutionResult: Failed72[debug] /sqlite/src/main.c:325:36 ExecutionResult: Passed73[debug] /sqlite/src/main.c:803:18 ExecutionResult: Passed74
[####----------------------------] 42/32675[debug] /sqlite/src/main.c:1430:5 ExecutionResult: Passed76
[####----------------------------] 43/32677[debug] /sqlite/src/main.c:860:31 ExecutionResult: Passed78
[####----------------------------] 44/32679[debug] /sqlite/src/main.c:1945:23 ExecutionResult: Passed80[debug] /sqlite/src/main.c:3342:19 ExecutionResult: Passed81[debug] /sqlite/src/main.c:1384:13 ExecutionResult: Passed82
[####----------------------------] 47/32683[debug] /sqlite/src/main.c:1817:11 ExecutionResult: Failed84[debug] /sqlite/src/main.c:3651:5 ExecutionResult: Passed85
[####----------------------------] 49/32686[debug] /sqlite/src/main.c:2496:13 ExecutionResult: Passed87[debug] /sqlite/src/main.c:3406:18 ExecutionResult: Passed88[debug] /sqlite/src/main.c:3602:3 ExecutionResult: Passed89[debug] /sqlite/src/main.c:3547:30 ExecutionResult: Failed90
[#####---------------------------] 53/32691[debug] /sqlite/src/main.c:2910:33 ExecutionResult: Passed92[debug] /sqlite/src/main.c:2071:7 ExecutionResult: Passed93[debug] /sqlite/src/main.c:1489:32 ExecutionResult: Passed94
[#####---------------------------] 56/32695[debug] /sqlite/src/main.c:289:10 ExecutionResult: Failed96
[#####---------------------------] 57/32697[debug] /sqlite/src/main.c:819:20 ExecutionResult: Passed98
[#####---------------------------] 58/32699[debug] /sqlite/src/main.c:1236:24 ExecutionResult: Failed100[debug] /sqlite/src/main.c:227:8 ExecutionResult: Failed101[debug] /sqlite/src/main.c:326:40 ExecutionResult: Passed102
[#####---------------------------] 61/326103[debug] /sqlite/src/main.c:1432:3 ExecutionResult: Passed104
[######--------------------------] 62/326105[debug] /sqlite/src/main.c:1173:18 ExecutionResult: Passed106
[######--------------------------] 63/326107[debug] /sqlite/src/main.c:1945:23 ExecutionResult: Passed108[debug] /sqlite/src/main.c:3345:18 ExecutionResult: Passed109[debug] /sqlite/src/main.c:1384:13 ExecutionResult: Passed110
[######--------------------------] 66/326111[debug] /sqlite/src/main.c:1817:11 ExecutionResult: Failed112[debug] /sqlite/src/main.c:3653:6 ExecutionResult: Failed113
[######--------------------------] 68/326114[debug] /sqlite/src/main.c:3550:18 ExecutionResult: Passed115[debug] /sqlite/src/main.c:2496:13 ExecutionResult: Passed116[debug] /sqlite/src/main.c:3603:6 ExecutionResult: Failed117[debug] /sqlite/src/main.c:3407:19 ExecutionResult: Passed118
[#######-------------------------] 72/326119[debug] /sqlite/src/main.c:2911:3 ExecutionResult: Passed120[debug] /sqlite/src/main.c:2079:3 ExecutionResult: Passed121[debug] /sqlite/src/main.c:1489:54 ExecutionResult: Passed122
[#######-------------------------] 75/326123[debug] /sqlite/src/main.c:289:12 ExecutionResult: Failed124[debug] /sqlite/src/main.c:819:29 ExecutionResult: Passed125
[#######-------------------------] 77/326126[debug] /sqlite/src/main.c:1238:16 ExecutionResult: Failed127
[#######-------------------------] 78/326128[debug] /sqlite/src/main.c:237:3 ExecutionResult: Passed129[debug] /sqlite/src/main.c:326:40 ExecutionResult: Passed130
[#######-------------------------] 80/326131[debug] /sqlite/src/main.c:1439:3 ExecutionResult: Passed132[debug] /sqlite/src/main.c:1174:18 ExecutionResult: Passed133
[########------------------------] 82/326134[debug] /sqlite/src/main.c:1946:11 ExecutionResult: Passed135[debug] /sqlite/src/main.c:3348:13 ExecutionResult: Passed136[debug] /sqlite/src/main.c:1819:22 ExecutionResult: Failed137
[########------------------------] 85/326138[debug] /sqlite/src/main.c:3653:8 ExecutionResult: Failed139[debug] /sqlite/src/main.c:3551:8 ExecutionResult: Failed140[debug] /sqlite/src/main.c:3408:14 ExecutionResult: Passed141[debug] /sqlite/src/main.c:2522:3 ExecutionResult: Passed142
[########------------------------] 89/326143[debug] /sqlite/src/main.c:3603:8 ExecutionResult: Failed144[debug] /sqlite/src/main.c:3069:7 ExecutionResult: Failed145[debug] /sqlite/src/main.c:2087:16 ExecutionResult: Passed146
[#########-----------------------] 92/326147[debug] /sqlite/src/main.c:1491:8 ExecutionResult: Passed148
[#########-----------------------] 93/326149[debug] /sqlite/src/main.c:291:11 ExecutionResult: Failed150
[#########-----------------------] 94/326151[debug] /sqlite/src/main.c:1252:8 ExecutionResult: Passed152[debug] /sqlite/src/main.c:328:5 ExecutionResult: Passed153
[#########-----------------------] 96/326154[debug] /sqlite/src/main.c:240:8 ExecutionResult: Failed155[debug] /sqlite/src/main.c:1384:24 ExecutionResult: Failed156
[#########-----------------------] 98/326157[debug] /sqlite/src/main.c:1442:3 ExecutionResult: Passed158
[#########-----------------------] 99/326159[debug] /sqlite/src/main.c:1175:30 ExecutionResult: Passed160
[#########-----------------------] 100/326161[debug] /sqlite/src/main.c:3363:9 ExecutionResult: Failed162
[#########-----------------------] 101/326163[debug] /sqlite/src/main.c:1946:11 ExecutionResult: Passed164[debug] /sqlite/src/main.c:819:40 ExecutionResult: Failed165
[##########----------------------] 103/326166[debug] /sqlite/src/main.c:1823:22 ExecutionResult: Failed167[debug] /sqlite/src/main.c:3655:10 ExecutionResult: Passed168[debug] /sqlite/src/main.c:2526:3 ExecutionResult: Passed169
[##########----------------------] 106/326170[debug] /sqlite/src/main.c:3551:10 ExecutionResult: Failed171[debug] /sqlite/src/main.c:3409:20 ExecutionResult: Passed172[debug] /sqlite/src/main.c:3070:16 ExecutionResult: Passed173[debug] /sqlite/src/main.c:3607:8 ExecutionResult: Passed174
[##########----------------------] 110/326175[debug] /sqlite/src/main.c:2091:6 ExecutionResult: Passed176[debug] /sqlite/src/main.c:1491:13 ExecutionResult: Passed177
[##########----------------------] 112/326178[debug] /sqlite/src/main.c:292:40 ExecutionResult: Passed179
[###########---------------------] 113/326180[debug] /sqlite/src/main.c:1255:3 ExecutionResult: Passed181
[###########---------------------] 114/326182[debug] /sqlite/src/main.c:240:10 ExecutionResult: Failed183[debug] /sqlite/src/main.c:1387:7 ExecutionResult: Passed184
[###########---------------------] 116/326185[debug] /sqlite/src/main.c:1443:3 ExecutionResult: Passed186
[###########---------------------] 117/326187[debug] /sqlite/src/main.c:1189:22 ExecutionResult: Passed188
[###########---------------------] 118/326189[debug] /sqlite/src/main.c:1946:12 ExecutionResult: Passed190[debug] /sqlite/src/main.c:834:20 ExecutionResult: Passed191
[###########---------------------] 120/326192[debug] /sqlite/src/main.c:1826:3 ExecutionResult: Passed193[debug] /sqlite/src/main.c:2810:14 ExecutionResult: Passed194[debug] /sqlite/src/main.c:3655:16 ExecutionResult: Failed195
[############--------------------] 123/326196[debug] /sqlite/src/main.c:3553:9 ExecutionResult: Passed197[debug] /sqlite/src/main.c:3607:14 ExecutionResult: Passed198[debug] /sqlite/src/main.c:3419:13 ExecutionResult: Passed199[debug] /sqlite/src/main.c:3074:7 ExecutionResult: Passed200
[############--------------------] 127/326201[debug] /sqlite/src/main.c:2091:8 ExecutionResult: Passed202[debug] /sqlite/src/main.c:1491:13 ExecutionResult: Passed203
[############--------------------] 129/326204[debug] /sqlite/src/main.c:293:10 ExecutionResult: Failed205
[############--------------------] 130/326206[debug] /sqlite/src/main.c:3379:9 ExecutionResult: Failed207
[############--------------------] 131/326208[debug] /sqlite/src/main.c:242:9 ExecutionResult: Passed209[debug] /sqlite/src/main.c:1389:12 ExecutionResult: Passed210
[#############-------------------] 133/326211[debug] /sqlite/src/main.c:1190:26 ExecutionResult: Passed212
[#############-------------------] 134/326213[debug] /sqlite/src/main.c:1444:3 ExecutionResult: Passed214[debug] /sqlite/src/main.c:2816:22 ExecutionResult: Failed215
[#############-------------------] 136/326216[debug] /sqlite/src/main.c:1953:14 ExecutionResult: Passed217[debug] /sqlite/src/main.c:835:24 ExecutionResult: Passed218[debug] /sqlite/src/main.c:3658:15 ExecutionResult: Passed219
[#############-------------------] 139/326220[debug] /sqlite/src/main.c:1941:20 ExecutionResult: Passed221
[#############-------------------] 140/326222[debug] /sqlite/src/main.c:3074:14 ExecutionResult: Passed223[debug] /sqlite/src/main.c:3567:6 ExecutionResult: Failed224[debug] /sqlite/src/main.c:3607:30 ExecutionResult: Passed225[debug] /sqlite/src/main.c:3494:3 ExecutionResult: Passed226
[##############------------------] 144/326227[debug] /sqlite/src/main.c:2094:25 ExecutionResult: Passed228
[##############------------------] 145/326229[debug] /sqlite/src/main.c:293:12 ExecutionResult: Failed230[debug] /sqlite/src/main.c:1256:18 ExecutionResult: Failed231
[##############------------------] 147/326232[debug] /sqlite/src/main.c:3386:18 ExecutionResult: Failed233
[##############------------------] 148/326234[debug] /sqlite/src/main.c:243:38 ExecutionResult: Passed235
[##############------------------] 149/326236[debug] /sqlite/src/main.c:1396:5 ExecutionResult: Passed237
[##############------------------] 150/326238[debug] /sqlite/src/main.c:1192:7 ExecutionResult: Passed239[debug] /sqlite/src/main.c:2861:8 ExecutionResult: Passed240[debug] /sqlite/src/main.c:1446:18 ExecutionResult: Passed241
[###############-----------------] 153/326242[debug] /sqlite/src/main.c:1491:24 ExecutionResult: Failed243
[###############-----------------] 154/326244[debug] /sqlite/src/main.c:1953:20 ExecutionResult: Passed245
[###############-----------------] 155/326246[debug] /sqlite/src/main.c:841:10 ExecutionResult: Passed247
[###############-----------------] 156/326248[debug] /sqlite/src/main.c:3669:3 ExecutionResult: Passed249[debug] /sqlite/src/main.c:1942:14 ExecutionResult: Passed250[debug] /sqlite/src/main.c:3078:15 ExecutionResult: Passed251
[###############-----------------] 159/326252[debug] /sqlite/src/main.c:3496:3 ExecutionResult: Passed253[debug] /sqlite/src/main.c:3567:8 ExecutionResult: Failed254[debug] /sqlite/src/main.c:3607:30 ExecutionResult: Passed255
[###############-----------------] 162/326256[debug] /sqlite/src/main.c:2101:6 ExecutionResult: Passed257
[################----------------] 163/326258[debug] /sqlite/src/main.c:296:11 ExecutionResult: Passed259[debug] /sqlite/src/main.c:1261:3 ExecutionResult: Passed260
[################----------------] 165/326261[debug] /sqlite/src/main.c:252:9 ExecutionResult: Passed262
[################----------------] 166/326263[debug] /sqlite/src/main.c:3391:21 ExecutionResult: Passed264
[################----------------] 167/326265[debug] /sqlite/src/main.c:1399:3 ExecutionResult: Passed266
[################----------------] 168/326267[debug] /sqlite/src/main.c:1205:3 ExecutionResult: Passed268[debug] /sqlite/src/main.c:2864:11 ExecutionResult: Passed269[debug] /sqlite/src/main.c:1454:3 ExecutionResult: Passed270
[################----------------] 171/326271[debug] /sqlite/src/main.c:1494:11 ExecutionResult: Passed272[debug] /sqlite/src/main.c:1956:7 ExecutionResult: Passed273
[################----------------] 173/326274[debug] /sqlite/src/main.c:3681:10 ExecutionResult: Failed275
[#################---------------] 174/326276[debug] /sqlite/src/main.c:841:15 ExecutionResult: Passed277
[#################---------------] 175/326278[debug] /sqlite/src/main.c:3268:34 ExecutionResult: Failed279[debug] /sqlite/src/main.c:3506:3 ExecutionResult: Passed280[debug] /sqlite/src/main.c:1942:27 ExecutionResult: Passed281[debug] /sqlite/src/main.c:3568:31 ExecutionResult: Passed282
[#################---------------] 179/326283[debug] /sqlite/src/main.c:2101:8 ExecutionResult: Passed284
[#################---------------] 180/326285[debug] /sqlite/src/main.c:297:10 ExecutionResult: Failed286
[#################---------------] 181/326287[debug] /sqlite/src/main.c:1270:3 ExecutionResult: Passed288[debug] /sqlite/src/main.c:253:38 ExecutionResult: Passed289
[#################---------------] 183/326290[debug] /sqlite/src/main.c:3395:3 ExecutionResult: Passed291
[##################--------------] 184/326292[debug] /sqlite/src/main.c:1402:3 ExecutionResult: Passed293
[##################--------------] 185/326294[debug] /sqlite/src/main.c:2864:33 ExecutionResult: Passed295[debug] /sqlite/src/main.c:1206:8 ExecutionResult: Passed296
[##################--------------] 187/326297[debug] /sqlite/src/main.c:1458:3 ExecutionResult: Passed298
[##################--------------] 188/326299[debug] /sqlite/src/main.c:3607:69 ExecutionResult: Failed300[debug] /sqlite/src/main.c:1494:34 ExecutionResult: Passed301
[##################--------------] 190/326302[debug] /sqlite/src/main.c:1961:14 ExecutionResult: Passed303
[##################--------------] 191/326304[debug] /sqlite/src/main.c:3507:3 ExecutionResult: Passed305[debug] /sqlite/src/main.c:841:15 ExecutionResult: Passed306
[##################--------------] 193/326307[debug] /sqlite/src/main.c:3276:11 ExecutionResult: Passed308[debug] /sqlite/src/main.c:1943:15 ExecutionResult: Passed309
[###################-------------] 195/326310[debug] /sqlite/src/main.c:3569:9 ExecutionResult: Passed311
[###################-------------] 196/326312[debug] /sqlite/src/main.c:2102:3 ExecutionResult: Passed313[debug] /sqlite/src/main.c:297:12 ExecutionResult: Failed314
[###################-------------] 198/326315[debug] /sqlite/src/main.c:1275:23 ExecutionResult: Failed316
[###################-------------] 199/326317[debug] /sqlite/src/main.c:3396:15 ExecutionResult: Passed318
[###################-------------] 200/326319[debug] /sqlite/src/main.c:1415:7 ExecutionResult: Passed320
[###################-------------] 201/326321[debug] /sqlite/src/main.c:4770:19 ExecutionResult: Failed322[debug] /sqlite/src/main.c:1459:18 ExecutionResult: Passed323
[###################-------------] 203/326324[debug] /sqlite/src/main.c:2867:11 ExecutionResult: Passed325
[####################------------] 204/326326[debug] /sqlite/src/main.c:1206:13 ExecutionResult: Passed327[debug] /sqlite/src/main.c:3608:8 ExecutionResult: Failed328
[####################------------] 206/326329[debug] /sqlite/src/main.c:1497:7 ExecutionResult: Passed330
[####################------------] 207/326331[debug] /sqlite/src/main.c:2019:19 ExecutionResult: Passed332
[####################------------] 208/326333[debug] /sqlite/src/main.c:1943:19 ExecutionResult: Passed334
[####################------------] 209/326335[debug] /sqlite/src/main.c:3508:3 ExecutionResult: Passed336
[####################------------] 210/326337[debug] /sqlite/src/main.c:3576:3 ExecutionResult: Passed338[debug] /sqlite/src/main.c:3280:13 ExecutionResult: Failed339
[####################------------] 212/326340[debug] /sqlite/src/main.c:300:11 ExecutionResult: Passed341
[####################------------] 213/326342[debug] /sqlite/src/main.c:2133:10 ExecutionResult: Passed343
[#####################-----------] 214/326344[debug] /sqlite/src/main.c:1299:18 ExecutionResult: Passed345
[#####################-----------] 215/326346[debug] /sqlite/src/main.c:3396:24 ExecutionResult: Passed347
[#####################-----------] 216/326348[debug] /sqlite/src/main.c:1500:3 ExecutionResult: Passed349[debug] /sqlite/src/main.c:1417:7 ExecutionResult: Passed350
[#####################-----------] 218/326351[debug] /sqlite/src/main.c:841:23 ExecutionResult: Failed352
[#####################-----------] 219/326353[debug] /sqlite/src/main.c:1460:3 ExecutionResult: Passed354[debug] /sqlite/src/main.c:2867:11 ExecutionResult: Passed355
[#####################-----------] 221/326356[debug] /sqlite/src/main.c:1206:13 ExecutionResult: Passed357[debug] /sqlite/src/main.c:3614:9 ExecutionResult: Passed358
[#####################-----------] 223/326359[debug] /sqlite/src/main.c:2033:3 ExecutionResult: Passed360
[#####################-----------] 224/326361[debug] /sqlite/src/main.c:1943:27 ExecutionResult: Passed362
[######################----------] 225/326363[debug] /sqlite/src/main.c:3509:3 ExecutionResult: Passed364
[######################----------] 226/326365[debug] /sqlite/src/main.c:3579:5 ExecutionResult: Passed366
[######################----------] 227/326367[debug] /sqlite/src/main.c:3285:9 ExecutionResult: Passed368[debug] /sqlite/src/main.c:301:7 ExecutionResult: Passed369
[######################----------] 229/326370[debug] /sqlite/src/main.c:2228:3 ExecutionResult: Passed371[debug] /sqlite/src/main.c:4770:35 ExecutionResult: Failed372
[######################----------] 231/326373[debug] /sqlite/src/main.c:1300:3 ExecutionResult: Passed374
[######################----------] 232/326375[debug] /sqlite/src/main.c:1501:3 ExecutionResult: Passed376
[######################----------] 233/326377[debug] /sqlite/src/main.c:3396:48 ExecutionResult: Passed378
[######################----------] 234/326379[debug] /sqlite/src/main.c:1421:3 ExecutionResult: Passed380
[#######################---------] 235/326381[debug] /sqlite/src/main.c:850:10 ExecutionResult: Passed382
[#######################---------] 236/326383[debug] /sqlite/src/main.c:2867:31 ExecutionResult: Passed384[debug] /sqlite/src/main.c:1463:5 ExecutionResult: Passed385
[#######################---------] 238/326386[debug] /sqlite/src/main.c:3615:5 ExecutionResult: Passed387[debug] /sqlite/src/main.c:2036:22 ExecutionResult: Passed388
[#######################---------] 240/326389[debug] /sqlite/src/main.c:1944:15 ExecutionResult: Passed390[debug] /sqlite/src/main.c:3510:3 ExecutionResult: Passed391[debug] /sqlite/src/main.c:3581:3 ExecutionResult: Passed392
[#######################---------] 242/326
[#######################---------] 243/326393[debug] /sqlite/src/main.c:3289:11 ExecutionResult: Passed394[debug] /sqlite/src/main.c:310:11 ExecutionResult: Passed395[debug] /sqlite/src/main.c:2229:6 ExecutionResult: Passed396
[########################--------] 246/326397[debug] /sqlite/src/main.c:1343:40 ExecutionResult: Failed398
[########################--------] 247/326399[debug] /sqlite/src/main.c:1206:24 ExecutionResult: Failed400
[########################--------] 248/326401[debug] /sqlite/src/main.c:1507:3 ExecutionResult: Passed402
[########################--------] 249/326403[debug] /sqlite/src/main.c:1425:10 ExecutionResult: Passed404
[########################--------] 250/326405[debug] /sqlite/src/main.c:850:15 ExecutionResult: Passed406
[########################--------] 251/326407[debug] /sqlite/src/main.c:2039:16 ExecutionResult: Passed408
[########################--------] 252/326409[debug] /sqlite/src/main.c:2867:31 ExecutionResult: Passed410[debug] /sqlite/src/main.c:1465:3 ExecutionResult: Passed411[debug] /sqlite/src/main.c:4770:51 ExecutionResult: Failed412
[#########################-------] 255/326413[debug] /sqlite/src/main.c:3616:8 ExecutionResult: Passed414
[#########################-------] 256/326415[debug] /sqlite/src/main.c:1944:19 ExecutionResult: Passed416[debug] /sqlite/src/main.c:3540:17 ExecutionResult: Passed417[debug] /sqlite/src/main.c:3588:27 ExecutionResult: Passed418
[#########################-------] 259/326419[debug] /sqlite/src/main.c:3334:6 ExecutionResult: Failed420
[#########################-------] 260/326421[debug] /sqlite/src/main.c:311:7 ExecutionResult: Passed422
[#########################-------] 261/326423[debug] /sqlite/src/main.c:3397:11 ExecutionResult: Failed424[debug] /sqlite/src/main.c:2229:60 ExecutionResult: Passed425
[#########################-------] 263/326426[debug] /sqlite/src/main.c:1425:15 ExecutionResult: Passed427[debug] /sqlite/src/main.c:1363:21 ExecutionResult: Passed428[debug] /sqlite/src/main.c:1221:3 ExecutionResult: Passed429
[##########################------] 266/326430[debug] /sqlite/src/main.c:1510:21 ExecutionResult: Passed431
[##########################------] 267/326432[debug] /sqlite/src/main.c:1477:7 ExecutionResult: Passed433
[##########################------] 268/326434[debug] /sqlite/src/main.c:3616:10 ExecutionResult: Passed435[debug] /sqlite/src/main.c:850:15 ExecutionResult: Passed436
[##########################------] 270/326437[debug] /sqlite/src/main.c:2906:12 ExecutionResult: Passed438
[##########################------] 271/326439[debug] /sqlite/src/main.c:2039:32 ExecutionResult: Passed440
[##########################------] 272/326441[debug] /sqlite/src/main.c:1944:30 ExecutionResult: Passed442[debug] /sqlite/src/main.c:3590:27 ExecutionResult: Passed443
[##########################------] 274/326444[debug] /sqlite/src/main.c:3547:10 ExecutionResult: Failed445
[##########################------] 275/326446[debug] /sqlite/src/main.c:3334:8 ExecutionResult: Failed447
[###########################-----] 276/326448[debug] /sqlite/src/main.c:3398:18 ExecutionResult: Passed449[debug] /sqlite/src/main.c:312:34 ExecutionResult: Passed450
[###########################-----] 278/326451[debug] /sqlite/src/main.c:2230:3 ExecutionResult: Passed452[debug] /sqlite/src/main.c:1363:46 ExecutionResult: Passed453
[###########################-----] 280/326454[debug] /sqlite/src/main.c:1222:3 ExecutionResult: Passed455
[###########################-----] 281/326456[debug] /sqlite/src/main.c:803:18 ExecutionResult: Timedout457
[###########################-----] 282/326458[debug] /sqlite/src/main.c:4770:67 ExecutionResult: Failed459[debug] /sqlite/src/main.c:1511:24 ExecutionResult: Passed460
[###########################-----] 284/326461[debug] /sqlite/src/main.c:1480:3 ExecutionResult: Passed462[debug] /sqlite/src/main.c:3617:11 ExecutionResult: Passed463
[############################----] 286/326464[debug] /sqlite/src/main.c:3400:26 ExecutionResult: Passed465[debug] /sqlite/src/main.c:1425:15 ExecutionResult: Failed466
[############################----] 288/326467[debug] /sqlite/src/main.c:317:36 ExecutionResult: Passed468
[############################----] 289/326469[debug] /sqlite/src/main.c:1378:3 ExecutionResult: Passed470
[############################----] 290/326471[debug] /sqlite/src/main.c:1236:8 ExecutionResult: Passed472
[############################----] 291/326473[debug] /sqlite/src/main.c:4832:8 ExecutionResult: Passed474
[############################----] 292/326475[debug] /sqlite/src/main.c:850:22 ExecutionResult: Failed476
[############################----] 293/326477[debug] /sqlite/src/main.c:4834:3 ExecutionResult: Passed478
[############################----] 294/326479[debug] /sqlite/src/main.c:858:28 ExecutionResult: Passed480
[############################----] 295/326481[debug] /sqlite/src/main.c:859:29 ExecutionResult: Passed482
[#############################---] 296/326483[debug] /sqlite/src/main.c:331:3 ExecutionResult: Timedout484
[#############################---] 297/326485[debug] /sqlite/src/main.c:784:7 ExecutionResult: Passed486
[#############################---] 298/326487[debug] /sqlite/src/main.c:784:33 ExecutionResult: Passed488
[#############################---] 299/326489[debug] /sqlite/src/main.c:784:33 ExecutionResult: Passed490
[#############################---] 300/326491[debug] /sqlite/src/main.c:797:6 ExecutionResult: Passed492
[#############################---] 301/326493[debug] /sqlite/src/main.c:798:9 ExecutionResult: Passed494
[#############################---] 302/326495[debug] /sqlite/src/main.c:798:9 ExecutionResult: Passed496
[#############################---] 303/326497[debug] /sqlite/src/main.c:799:9 ExecutionResult: Passed498
[#############################---] 304/326499[debug] /sqlite/src/main.c:255:3 ExecutionResult: Timedout500
[#############################---] 305/326501[debug] /sqlite/src/main.c:799:9 ExecutionResult: Passed502
[##############################--] 306/326503[debug] /sqlite/src/main.c:260:9 ExecutionResult: Failed504
[##############################--] 307/326505[debug] /sqlite/src/main.c:802:10 ExecutionResult: Passed506
[##############################--] 308/326507[debug] /sqlite/src/main.c:277:3 ExecutionResult: Passed508
[##############################--] 309/326509[debug] /sqlite/src/main.c:802:10 ExecutionResult: Passed510
[##############################--] 310/326511[debug] /sqlite/src/main.c:278:33 ExecutionResult: Failed512
[##############################--] 311/326513[debug] /sqlite/src/main.c:278:70 ExecutionResult: Failed514
[##############################--] 312/326515[debug] /sqlite/src/main.c:279:36 ExecutionResult: Passed516
[##############################--] 313/326517[debug] /sqlite/src/main.c:803:30 ExecutionResult: Timedout518
[##############################--] 314/326519[debug] /sqlite/src/main.c:804:11 ExecutionResult: Passed520
[##############################--] 315/326521[debug] /sqlite/src/main.c:804:20 ExecutionResult: Passed522
[###############################-] 316/326523[debug] /sqlite/src/main.c:805:14 ExecutionResult: Passed524
[###############################-] 317/326525[debug] /sqlite/src/main.c:808:17 ExecutionResult: Passed526
[###############################-] 318/326527[debug] /sqlite/src/main.c:809:5 ExecutionResult: Passed528
[###############################-] 319/326529[debug] /sqlite/src/main.c:811:5 ExecutionResult: Passed530
[###############################-] 320/326531[debug] /sqlite/src/main.c:812:26 ExecutionResult: Passed532
[###############################-] 321/326533[debug] /sqlite/src/main.c:812:28 ExecutionResult: Passed534
[###############################-] 322/326535[debug] /sqlite/src/main.c:817:9 ExecutionResult: Passed536
[###############################-] 323/326537[debug] /sqlite/src/main.c:817:9 ExecutionResult: Passed538
[###############################-] 324/326539[debug] /sqlite/src/main.c:818:10 ExecutionResult: Failed540
[###############################-] 325/326541[debug] /sqlite/src/main.c:818:19 ExecutionResult: Failed542
[################################] 326/326. Finished in 6702ms543[debug] Done running mutants544[info] Survived mutants (255/326):545/sqlite/src/main.c:215:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]546 sqlite3MemoryBarrier();547 ^548/sqlite/src/main.c:237:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]549 sqlite3_mutex_enter(pMainMtx);550 ^551/sqlite/src/main.c:242:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]552 if( rc==SQLITE_OK ){553 ^554/sqlite/src/main.c:243:38: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]555 sqlite3GlobalConfig.isMallocInit = 1;556 ^557/sqlite/src/main.c:252:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]558 if( rc==SQLITE_OK ){559 ^560/sqlite/src/main.c:253:38: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]561 sqlite3GlobalConfig.nRefInitMutex++;562 ^563/sqlite/src/main.c:277:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]564 sqlite3_mutex_enter(sqlite3GlobalConfig.pInitMutex);565 ^566/sqlite/src/main.c:279:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]567 sqlite3GlobalConfig.inProgress = 1;568 ^569/sqlite/src/main.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]570 sqlite3RegisterBuiltinFunctions();571 ^572/sqlite/src/main.c:292:40: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]573 sqlite3GlobalConfig.isPCacheInit = 1;574 ^575/sqlite/src/main.c:296:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]576 if( rc==SQLITE_OK ){577 ^578/sqlite/src/main.c:300:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]579 if( rc==SQLITE_OK ){580 ^581/sqlite/src/main.c:301:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]582 sqlite3PCacheBufferSetup( sqlite3GlobalConfig.pPage,583 ^584/sqlite/src/main.c:310:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]585 if( rc==SQLITE_OK ){586 ^587/sqlite/src/main.c:311:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]588 sqlite3MemoryBarrier();589 ^590/sqlite/src/main.c:312:34: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]591 sqlite3GlobalConfig.isInit = 1;592 ^593/sqlite/src/main.c:317:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]594 sqlite3GlobalConfig.inProgress = 0;595 ^596/sqlite/src/main.c:319:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]597 sqlite3_mutex_leave(sqlite3GlobalConfig.pInitMutex);598 ^599/sqlite/src/main.c:324:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]600 sqlite3_mutex_enter(pMainMtx);601 ^602/sqlite/src/main.c:325:36: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]603 sqlite3GlobalConfig.nRefInitMutex--;604 ^605/sqlite/src/main.c:326:40: warning: Survived: Replaced <= with > [cxx_le_to_gt]606 if( sqlite3GlobalConfig.nRefInitMutex<=0 ){607 ^608/sqlite/src/main.c:326:40: warning: Survived: Replaced <= with < [cxx_le_to_lt]609 if( sqlite3GlobalConfig.nRefInitMutex<=0 ){610 ^611/sqlite/src/main.c:328:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]612 sqlite3_mutex_free(sqlite3GlobalConfig.pInitMutex);613 ^614/sqlite/src/main.c:784:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]615 if( sqlite3LookasideUsed(db,0)>0 ){616 ^617/sqlite/src/main.c:784:33: warning: Survived: Replaced > with >= [cxx_gt_to_ge]618 if( sqlite3LookasideUsed(db,0)>0 ){619 ^620/sqlite/src/main.c:784:33: warning: Survived: Replaced > with <= [cxx_gt_to_le]621 if( sqlite3LookasideUsed(db,0)>0 ){622 ^623/sqlite/src/main.c:797:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]624 sz = ROUNDDOWN8(sz);625 ^626/sqlite/src/main.c:798:9: warning: Survived: Replaced <= with > [cxx_le_to_gt]627 if( sz<=(int)sizeof(LookasideSlot*) ) sz = 0;628 ^629/sqlite/src/main.c:798:9: warning: Survived: Replaced <= with < [cxx_le_to_lt]630 if( sz<=(int)sizeof(LookasideSlot*) ) sz = 0;631 ^632/sqlite/src/main.c:799:9: warning: Survived: Replaced > with >= [cxx_gt_to_ge]633 if( sz>65528 ) sz = 65528;634 ^635/sqlite/src/main.c:799:9: warning: Survived: Replaced > with <= [cxx_gt_to_le]636 if( sz>65528 ) sz = 65528;637 ^638/sqlite/src/main.c:802:10: warning: Survived: Replaced < with >= [cxx_lt_to_ge]639 if( cnt<1 ) cnt = 0;640 ^641/sqlite/src/main.c:802:10: warning: Survived: Replaced < with <= [cxx_lt_to_le]642 if( cnt<1 ) cnt = 0;643 ^644/sqlite/src/main.c:803:9: warning: Survived: Replaced > with >= [cxx_gt_to_ge]645 if( sz>0 && cnt>(0x7fff0000/sz) ) cnt = 0x7fff0000/sz;646 ^647/sqlite/src/main.c:803:9: warning: Survived: Replaced > with <= [cxx_gt_to_le]648 if( sz>0 && cnt>(0x7fff0000/sz) ) cnt = 0x7fff0000/sz;649 ^650/sqlite/src/main.c:803:18: warning: Survived: Replaced > with >= [cxx_gt_to_ge]651 if( sz>0 && cnt>(0x7fff0000/sz) ) cnt = 0x7fff0000/sz;652 ^653/sqlite/src/main.c:804:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]654 szAlloc = (i64)sz*(i64)cnt;655 ^656/sqlite/src/main.c:804:20: warning: Survived: Replaced * with / [cxx_mul_to_div]657 szAlloc = (i64)sz*(i64)cnt;658 ^659/sqlite/src/main.c:805:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]660 if( szAlloc==0 ){661 ^662/sqlite/src/main.c:808:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]663 }else if( pBuf==0 ){664 ^665/sqlite/src/main.c:809:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]666 sqlite3BeginBenignMalloc();667 ^668/sqlite/src/main.c:811:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]669 sqlite3EndBenignMalloc();670 ^671/sqlite/src/main.c:812:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]672 if( pStart ) szAlloc = sqlite3MallocSize(pStart);673 ^674/sqlite/src/main.c:812:28: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]675 if( pStart ) szAlloc = sqlite3MallocSize(pStart);676 ^677/sqlite/src/main.c:817:9: warning: Survived: Replaced >= with > [cxx_ge_to_gt]678 if( sz>=LOOKASIDE_SMALL*3 ){679 ^680/sqlite/src/main.c:817:9: warning: Survived: Replaced >= with < [cxx_ge_to_lt]681 if( sz>=LOOKASIDE_SMALL*3 ){682 ^683/sqlite/src/main.c:819:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]684 nSm = (szAlloc - (i64)sz*(i64)nBig)/LOOKASIDE_SMALL;685 ^686/sqlite/src/main.c:819:20: warning: Survived: Replaced - with + [cxx_sub_to_add]687 nSm = (szAlloc - (i64)sz*(i64)nBig)/LOOKASIDE_SMALL;688 ^689/sqlite/src/main.c:819:29: warning: Survived: Replaced * with / [cxx_mul_to_div]690 nSm = (szAlloc - (i64)sz*(i64)nBig)/LOOKASIDE_SMALL;691 ^692/sqlite/src/main.c:834:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]693 db->lookaside.sz = (u16)sz;694 ^695/sqlite/src/main.c:835:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]696 db->lookaside.szTrue = (u16)sz;697 ^698/sqlite/src/main.c:841:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]699 for(i=0; i<nBig; i++){700 ^701/sqlite/src/main.c:841:15: warning: Survived: Replaced < with >= [cxx_lt_to_ge]702 for(i=0; i<nBig; i++){703 ^704/sqlite/src/main.c:841:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]705 for(i=0; i<nBig; i++){706 ^707/sqlite/src/main.c:850:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]708 for(i=0; i<nSm; i++){709 ^710/sqlite/src/main.c:850:15: warning: Survived: Replaced < with >= [cxx_lt_to_ge]711 for(i=0; i<nSm; i++){712 ^713/sqlite/src/main.c:850:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]714 for(i=0; i<nSm; i++){715 ^716/sqlite/src/main.c:858:28: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]717 db->lookaside.bDisable = 0;718 ^719/sqlite/src/main.c:859:29: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]720 db->lookaside.bMalloced = pBuf==0 ?1:0;721 ^722/sqlite/src/main.c:859:35: warning: Survived: Replaced == with != [cxx_eq_to_ne]723 db->lookaside.bMalloced = pBuf==0 ?1:0;724 ^725/sqlite/src/main.c:860:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]726 db->lookaside.nSlot = nBig+nSm;727 ^728/sqlite/src/main.c:860:31: warning: Survived: Replaced + with - [cxx_add_to_sub]729 db->lookaside.nSlot = nBig+nSm;730 ^731/sqlite/src/main.c:1173:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]732 db->nSavepoint = 0;733 ^734/sqlite/src/main.c:1174:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]735 db->nStatement = 0;736 ^737/sqlite/src/main.c:1175:30: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]738 db->isTransactionSavepoint = 0;739 ^740/sqlite/src/main.c:1189:22: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]741 pDestructor->nRef--;742 ^743/sqlite/src/main.c:1190:26: warning: Survived: Replaced == with != [cxx_eq_to_ne]744 if( pDestructor->nRef==0 ){745 ^746/sqlite/src/main.c:1192:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]747 sqlite3DbFree(db, pDestructor);748 ^749/sqlite/src/main.c:1205:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]750 sqlite3BtreeEnterAll(db);751 ^752/sqlite/src/main.c:1206:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]753 for(i=0; i<db->nDb; i++){754 ^755/sqlite/src/main.c:1206:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]756 for(i=0; i<db->nDb; i++){757 ^758/sqlite/src/main.c:1206:13: warning: Survived: Replaced < with <= [cxx_lt_to_le]759 for(i=0; i<db->nDb; i++){760 ^761/sqlite/src/main.c:1221:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]762 sqlite3VtabUnlockList(db);763 ^764/sqlite/src/main.c:1222:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]765 sqlite3BtreeLeaveAll(db);766 ^767/sqlite/src/main.c:1236:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]768 for(j=0; j<db->nDb; j++){769 ^770/sqlite/src/main.c:1236:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]771 for(j=0; j<db->nDb; j++){772 ^773/sqlite/src/main.c:1236:13: warning: Survived: Replaced < with <= [cxx_lt_to_le]774 for(j=0; j<db->nDb; j++){775 ^776/sqlite/src/main.c:1252:8: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]777 if( !sqlite3SafetyCheckSickOrOk(db) ){778 ^779/sqlite/src/main.c:1255:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]780 sqlite3_mutex_enter(db->mutex);781 ^782/sqlite/src/main.c:1261:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]783 disconnectAllVtab(db);784 ^785/sqlite/src/main.c:1270:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]786 sqlite3VtabRollback(db);787 ^788/sqlite/src/main.c:1299:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]789 db->eOpenState = SQLITE_STATE_ZOMBIE;790 ^791/sqlite/src/main.c:1300:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]792 sqlite3LeaveMutexAndCloseZombie(db);793 ^794/sqlite/src/main.c:1363:21: warning: Survived: Replaced != with == [cxx_ne_to_eq]795 if( db->eOpenState!=SQLITE_STATE_ZOMBIE || connectionIsBusy(db) ){796 ^797/sqlite/src/main.c:1363:46: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]798 if( db->eOpenState!=SQLITE_STATE_ZOMBIE || connectionIsBusy(db) ){799 ^800/sqlite/src/main.c:1378:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]801 sqlite3RollbackAll(db, SQLITE_OK);802 ^803/sqlite/src/main.c:1381:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]804 sqlite3CloseSavepoints(db);805 ^806/sqlite/src/main.c:1384:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]807 for(j=0; j<db->nDb; j++){808 ^809/sqlite/src/main.c:1384:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]810 for(j=0; j<db->nDb; j++){811 ^812/sqlite/src/main.c:1384:13: warning: Survived: Replaced < with <= [cxx_lt_to_le]813 for(j=0; j<db->nDb; j++){814 ^815/sqlite/src/main.c:1387:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]816 sqlite3BtreeClose(pDb->pBt);817 ^818/sqlite/src/main.c:1389:12: warning: Survived: Replaced != with == [cxx_ne_to_eq]819 if( j!=1 ){820 ^821/sqlite/src/main.c:1396:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]822 sqlite3SchemaClear(db->aDb[1].pSchema);823 ^824/sqlite/src/main.c:1399:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]825 sqlite3VtabUnlockList(db);826 ^827/sqlite/src/main.c:1402:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]828 sqlite3CollapseDatabaseArray(db);829 ^830/sqlite/src/main.c:1415:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]831 functionDestroy(db, p);832 ^833/sqlite/src/main.c:1417:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]834 sqlite3DbFree(db, p);835 ^836/sqlite/src/main.c:1421:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]837 sqlite3HashClear(&db->aFunc);838 ^839/sqlite/src/main.c:1425:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]840 for(j=0; j<3; j++){841 ^842/sqlite/src/main.c:1425:15: warning: Survived: Replaced < with >= [cxx_lt_to_ge]843 for(j=0; j<3; j++){844 ^845/sqlite/src/main.c:1430:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]846 sqlite3DbFree(db, pColl);847 ^848/sqlite/src/main.c:1432:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]849 sqlite3HashClear(&db->aCollSeq);850 ^851/sqlite/src/main.c:1439:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]852 sqlite3HashClear(&db->aModule);853 ^854/sqlite/src/main.c:1442:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]855 sqlite3Error(db, SQLITE_OK); /* Deallocates any cached error strings. */856 ^857/sqlite/src/main.c:1443:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]858 sqlite3ValueFree(db->pErr);859 ^860/sqlite/src/main.c:1444:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]861 sqlite3CloseExtensions(db);862 ^863/sqlite/src/main.c:1446:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]864 db->eOpenState = SQLITE_STATE_ERROR;865 ^866/sqlite/src/main.c:1454:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]867 sqlite3DbFree(db, db->aDb[1].pSchema);868 ^869/sqlite/src/main.c:1458:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]870 sqlite3_mutex_leave(db->mutex);871 ^872/sqlite/src/main.c:1459:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]873 db->eOpenState = SQLITE_STATE_CLOSED;874 ^875/sqlite/src/main.c:1460:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]876 sqlite3_mutex_free(db->mutex);877 ^878/sqlite/src/main.c:1463:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]879 sqlite3_free(db->lookaside.pStart);880 ^881/sqlite/src/main.c:1465:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]882 sqlite3_free(db);883 ^884/sqlite/src/main.c:1477:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]885 int inTrans = 0;886 ^887/sqlite/src/main.c:1480:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]888 sqlite3BeginBenignMalloc();889 ^890/sqlite/src/main.c:1488:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]891 sqlite3BtreeEnterAll(db);892 ^893/sqlite/src/main.c:1489:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]894 schemaChange = (db->mDbFlags & DBFLAG_SchemaChange)!=0 && db->init.busy==0;895 ^896/sqlite/src/main.c:1489:32: warning: Survived: Replaced & with | [cxx_and_to_or]897 schemaChange = (db->mDbFlags & DBFLAG_SchemaChange)!=0 && db->init.busy==0;898 ^899/sqlite/src/main.c:1489:54: warning: Survived: Replaced != with == [cxx_ne_to_eq]900 schemaChange = (db->mDbFlags & DBFLAG_SchemaChange)!=0 && db->init.busy==0;901 ^902/sqlite/src/main.c:1491:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]903 for(i=0; i<db->nDb; i++){904 ^905/sqlite/src/main.c:1491:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]906 for(i=0; i<db->nDb; i++){907 ^908/sqlite/src/main.c:1491:13: warning: Survived: Replaced < with <= [cxx_lt_to_le]909 for(i=0; i<db->nDb; i++){910 ^911/sqlite/src/main.c:1494:11: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]912 if( sqlite3BtreeTxnState(p)==SQLITE_TXN_WRITE ){913 ^914/sqlite/src/main.c:1494:34: warning: Survived: Replaced == with != [cxx_eq_to_ne]915 if( sqlite3BtreeTxnState(p)==SQLITE_TXN_WRITE ){916 ^917/sqlite/src/main.c:1497:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]918 sqlite3BtreeRollback(p, tripCode, !schemaChange);919 ^920/sqlite/src/main.c:1500:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]921 sqlite3VtabRollback(db);922 ^923/sqlite/src/main.c:1501:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]924 sqlite3EndBenignMalloc();925 ^926/sqlite/src/main.c:1507:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]927 sqlite3BtreeLeaveAll(db);928 ^929/sqlite/src/main.c:1510:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]930 db->nDeferredCons = 0;931 ^932/sqlite/src/main.c:1511:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]933 db->nDeferredImmCons = 0;934 ^935/sqlite/src/main.c:1512:13: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]936 db->flags &= ~(u64)(SQLITE_DeferFKs|SQLITE_CorruptRdOnly);937 ^938/sqlite/src/main.c:1816:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]939 sqlite3_mutex_enter(db->mutex);940 ^941/sqlite/src/main.c:1826:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]942 sqlite3_mutex_leave(db->mutex);943 ^944/sqlite/src/main.c:1941:20: warning: Survived: Replaced == with != [cxx_eq_to_ne]945 if( zFunctionName==0 /* Must have a valid name */946 ^947/sqlite/src/main.c:1942:14: warning: Survived: Replaced != with == [cxx_ne_to_eq]948 || (xSFunc!=0 && xFinal!=0) /* Not both xSFunc and xFinal */949 ^950/sqlite/src/main.c:1942:27: warning: Survived: Replaced != with == [cxx_ne_to_eq]951 || (xSFunc!=0 && xFinal!=0) /* Not both xSFunc and xFinal */952 ^953/sqlite/src/main.c:1943:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]954 || ((xFinal==0)!=(xStep==0)) /* Both or neither of xFinal and xStep */955 ^956/sqlite/src/main.c:1943:19: warning: Survived: Replaced != with == [cxx_ne_to_eq]957 || ((xFinal==0)!=(xStep==0)) /* Both or neither of xFinal and xStep */958 ^959/sqlite/src/main.c:1943:27: warning: Survived: Replaced == with != [cxx_eq_to_ne]960 || ((xFinal==0)!=(xStep==0)) /* Both or neither of xFinal and xStep */961 ^962/sqlite/src/main.c:1944:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]963 || ((xValue==0)!=(xInverse==0)) /* Both or neither of xValue, xInverse */964 ^965/sqlite/src/main.c:1944:19: warning: Survived: Replaced != with == [cxx_ne_to_eq]966 || ((xValue==0)!=(xInverse==0)) /* Both or neither of xValue, xInverse */967 ^968/sqlite/src/main.c:1944:30: warning: Survived: Replaced == with != [cxx_eq_to_ne]969 || ((xValue==0)!=(xInverse==0)) /* Both or neither of xValue, xInverse */970 ^971/sqlite/src/main.c:1945:12: warning: Survived: Replaced < with >= [cxx_lt_to_ge]972 || (nArg<-1 || nArg>SQLITE_MAX_FUNCTION_ARG)973 ^974/sqlite/src/main.c:1945:12: warning: Survived: Replaced < with <= [cxx_lt_to_le]975 || (nArg<-1 || nArg>SQLITE_MAX_FUNCTION_ARG)976 ^977/sqlite/src/main.c:1945:23: warning: Survived: Replaced > with >= [cxx_gt_to_ge]978 || (nArg<-1 || nArg>SQLITE_MAX_FUNCTION_ARG)979 ^980/sqlite/src/main.c:1945:23: warning: Survived: Replaced > with <= [cxx_gt_to_le]981 || (nArg<-1 || nArg>SQLITE_MAX_FUNCTION_ARG)982 ^983/sqlite/src/main.c:1946:11: warning: Survived: Replaced < with >= [cxx_lt_to_ge]984 || (255<sqlite3Strlen30(zFunctionName))985 ^986/sqlite/src/main.c:1946:11: warning: Survived: Replaced < with <= [cxx_lt_to_le]987 || (255<sqlite3Strlen30(zFunctionName))988 ^989/sqlite/src/main.c:1946:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]990 || (255<sqlite3Strlen30(zFunctionName))991 ^992/sqlite/src/main.c:1953:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]993 extraFlags = enc & (SQLITE_DETERMINISTIC|SQLITE_DIRECTONLY|994 ^995/sqlite/src/main.c:1953:20: warning: Survived: Replaced & with | [cxx_and_to_or]996 extraFlags = enc & (SQLITE_DETERMINISTIC|SQLITE_DIRECTONLY|997 ^998/sqlite/src/main.c:1956:7: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]999 enc &= (SQLITE_FUNC_ENCMASK|SQLITE_ANY);1000 ^1001/sqlite/src/main.c:1961:14: warning: Survived: Replaced ^= with |= [cxx_xor_assign_to_or_assign]1002 extraFlags ^= SQLITE_FUNC_UNSAFE; /* tag-20230109-1 */1003 ^1004/sqlite/src/main.c:2019:19: warning: Survived: Replaced == with != [cxx_eq_to_ne]1005 }else if( xSFunc==0 && xFinal==0 ){1006 ^1007/sqlite/src/main.c:2033:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1008 functionDestroy(db, p);1009 ^1010/sqlite/src/main.c:2036:22: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]1011 pDestructor->nRef++;1012 ^1013/sqlite/src/main.c:2039:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1014 p->funcFlags = (p->funcFlags & SQLITE_FUNC_ENCMASK) | extraFlags;1015 ^1016/sqlite/src/main.c:2039:32: warning: Survived: Replaced & with | [cxx_and_to_or]1017 p->funcFlags = (p->funcFlags & SQLITE_FUNC_ENCMASK) | extraFlags;1018 ^1019/sqlite/src/main.c:2039:55: warning: Survived: Replaced | with & [cxx_or_to_and]1020 p->funcFlags = (p->funcFlags & SQLITE_FUNC_ENCMASK) | extraFlags;1021 ^1022/sqlite/src/main.c:2047:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1023 p->nArg = (u16)nArg;1024 ^1025/sqlite/src/main.c:2071:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]1026 int rc = SQLITE_ERROR;1027 ^1028/sqlite/src/main.c:2079:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1029 sqlite3_mutex_enter(db->mutex);1030 ^1031/sqlite/src/main.c:2087:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1032 pArg->nRef = 0;1033 ^1034/sqlite/src/main.c:2091:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1035 rc = sqlite3CreateFunc(db, zFunc, nArg, enc, p,1036 ^1037/sqlite/src/main.c:2091:8: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]1038 rc = sqlite3CreateFunc(db, zFunc, nArg, enc, p,1039 ^1040/sqlite/src/main.c:2094:25: warning: Survived: Replaced == with != [cxx_eq_to_ne]1041 if( pArg && pArg->nRef==0 ){1042 ^1043/sqlite/src/main.c:2101:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1044 rc = sqlite3ApiExit(db, rc);1045 ^1046/sqlite/src/main.c:2101:8: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]1047 rc = sqlite3ApiExit(db, rc);1048 ^1049/sqlite/src/main.c:2102:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1050 sqlite3_mutex_leave(db->mutex);1051 ^1052/sqlite/src/main.c:2133:10: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]1053 return createFunctionApi(db, zFunc, nArg, enc, p, xSFunc, xStep,1054 ^1055/sqlite/src/main.c:2228:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1056 sqlite3_mutex_enter(db->mutex);1057 ^1058/sqlite/src/main.c:2229:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1059 rc = sqlite3FindFunction(db, zName, nArg, SQLITE_UTF8, 0)!=0;1060 ^1061/sqlite/src/main.c:2229:60: warning: Survived: Replaced != with == [cxx_ne_to_eq]1062 rc = sqlite3FindFunction(db, zName, nArg, SQLITE_UTF8, 0)!=0;1063 ^1064/sqlite/src/main.c:2230:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1065 sqlite3_mutex_leave(db->mutex);1066 ^1067/sqlite/src/main.c:2234:10: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]1068 return sqlite3_create_function_v2(db, zName, nArg, SQLITE_UTF8,1069 ^1070/sqlite/src/main.c:2496:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]1071 if( nFrame>0 ){1072 ^1073/sqlite/src/main.c:2496:13: warning: Survived: Replaced > with <= [cxx_gt_to_le]1074 if( nFrame>0 ){1075 ^1076/sqlite/src/main.c:2522:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1077 sqlite3_mutex_enter(db->mutex);1078 ^1079/sqlite/src/main.c:2526:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1080 sqlite3_mutex_leave(db->mutex);1081 ^1082/sqlite/src/main.c:2810:14: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]1083 if( db && !sqlite3SafetyCheckSickOrOk(db) ){1084 ^1085/sqlite/src/main.c:2861:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1086 enc2 = enc;1087 ^1088/sqlite/src/main.c:2864:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]1089 if( enc2==SQLITE_UTF16 || enc2==SQLITE_UTF16_ALIGNED ){1090 ^1091/sqlite/src/main.c:2864:33: warning: Survived: Replaced == with != [cxx_eq_to_ne]1092 if( enc2==SQLITE_UTF16 || enc2==SQLITE_UTF16_ALIGNED ){1093 ^1094/sqlite/src/main.c:2867:11: warning: Survived: Replaced < with >= [cxx_lt_to_ge]1095 if( enc2<SQLITE_UTF8 || enc2>SQLITE_UTF16BE ){1096 ^1097/sqlite/src/main.c:2867:11: warning: Survived: Replaced < with <= [cxx_lt_to_le]1098 if( enc2<SQLITE_UTF8 || enc2>SQLITE_UTF16BE ){1099 ^1100/sqlite/src/main.c:2867:31: warning: Survived: Replaced > with >= [cxx_gt_to_ge]1101 if( enc2<SQLITE_UTF8 || enc2>SQLITE_UTF16BE ){1102 ^1103/sqlite/src/main.c:2867:31: warning: Survived: Replaced > with <= [cxx_gt_to_le]1104 if( enc2<SQLITE_UTF8 || enc2>SQLITE_UTF16BE ){1105 ^1106/sqlite/src/main.c:2906:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]1107 if( pColl==0 ) return SQLITE_NOMEM_BKPT;1108 ^1109/sqlite/src/main.c:2910:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1110 pColl->enc = (u8)(enc2 | (enc & SQLITE_UTF16_ALIGNED));1111 ^1112/sqlite/src/main.c:2910:26: warning: Survived: Replaced | with & [cxx_or_to_and]1113 pColl->enc = (u8)(enc2 | (enc & SQLITE_UTF16_ALIGNED));1114 ^1115/sqlite/src/main.c:2910:33: warning: Survived: Replaced & with | [cxx_and_to_or]1116 pColl->enc = (u8)(enc2 | (enc & SQLITE_UTF16_ALIGNED));1117 ^1118/sqlite/src/main.c:2911:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1119 sqlite3Error(db, SQLITE_OK);1120 ^1121/sqlite/src/main.c:3070:16: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]1122 unsigned int flags = *pFlags;1123 ^1124/sqlite/src/main.c:3074:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]1125 int nUri = sqlite3Strlen30(zUri);1126 ^1127/sqlite/src/main.c:3074:14: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]1128 int nUri = sqlite3Strlen30(zUri);1129 ^1130/sqlite/src/main.c:3078:15: warning: Survived: Replaced & with | [cxx_and_to_or]1131 if( ((flags & SQLITE_OPEN_URI) /* IMP: R-48725-32206 */1132 ^1133/sqlite/src/main.c:3276:11: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]1134 flags &= ~SQLITE_OPEN_URI;1135 ^1136/sqlite/src/main.c:3285:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]1137 if( rc!=SQLITE_OK ){1138 ^1139/sqlite/src/main.c:3289:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1140 *pFlags = flags;1141 ^1142/sqlite/src/main.c:3338:37: warning: Survived: Replaced == with != [cxx_eq_to_ne]1143 if( sqlite3GlobalConfig.bCoreMutex==0 ){1144 ^1145/sqlite/src/main.c:3340:19: warning: Survived: Replaced & with | [cxx_and_to_or]1146 }else if( flags & SQLITE_OPEN_NOMUTEX ){1147 ^1148/sqlite/src/main.c:3342:19: warning: Survived: Replaced & with | [cxx_and_to_or]1149 }else if( flags & SQLITE_OPEN_FULLMUTEX ){1150 ^1151/sqlite/src/main.c:3345:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1152 isThreadsafe = sqlite3GlobalConfig.bFullMutex;1153 ^1154/sqlite/src/main.c:3348:13: warning: Survived: Replaced & with | [cxx_and_to_or]1155 if( flags & SQLITE_OPEN_PRIVATECACHE ){1156 ^1157/sqlite/src/main.c:3391:21: warning: Survived: Replaced == with != [cxx_eq_to_ne]1158 if( isThreadsafe==0 ){1159 ^1160/sqlite/src/main.c:3395:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1161 sqlite3_mutex_enter(db->mutex);1162 ^1163/sqlite/src/main.c:3396:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1164 db->errMask = (flags & SQLITE_OPEN_EXRESCODE)!=0 ? 0xffffffff : 0xff;1165 ^1166/sqlite/src/main.c:3396:24: warning: Survived: Replaced & with | [cxx_and_to_or]1167 db->errMask = (flags & SQLITE_OPEN_EXRESCODE)!=0 ? 0xffffffff : 0xff;1168 ^1169/sqlite/src/main.c:3396:48: warning: Survived: Replaced != with == [cxx_ne_to_eq]1170 db->errMask = (flags & SQLITE_OPEN_EXRESCODE)!=0 ? 0xffffffff : 0xff;1171 ^1172/sqlite/src/main.c:3398:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1173 db->eOpenState = SQLITE_STATE_BUSY;1174 ^1175/sqlite/src/main.c:3400:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1176 db->lookaside.bDisable = 1;1177 ^1178/sqlite/src/main.c:3401:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1179 db->lookaside.sz = 0;1180 ^1181/sqlite/src/main.c:3405:43: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1182 db->aLimit[SQLITE_LIMIT_WORKER_THREADS] = SQLITE_DEFAULT_WORKER_THREADS;1183 ^1184/sqlite/src/main.c:3406:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1185 db->autoCommit = 1;1186 ^1187/sqlite/src/main.c:3407:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1188 db->nextAutovac = -1;1189 ^1190/sqlite/src/main.c:3408:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1191 db->szMmap = sqlite3GlobalConfig.szMmap;1192 ^1193/sqlite/src/main.c:3409:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]1194 db->nextPagesize = 0;1195 ^1196/sqlite/src/main.c:3419:13: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]1197 db->flags |= SQLITE_ShortColNames1198 ^1199/sqlite/src/main.c:3494:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]1200 sqlite3HashInit(&db->aCollSeq);