CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_json_jsonValidFunc.out743 linesDownload Raw Back to mull-reports
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 109ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 4ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 58ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 106ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/json.c:418:8 ExecutionResult: Passed15[debug] /sqlite/src/json.c:453:16 ExecutionResult: Passed16[debug] /sqlite/src/json.c:896:19 ExecutionResult: Passed17
       [--------------------------------] 3/22518[debug] /sqlite/src/json.c:1246:10 ExecutionResult: Passed19
       [--------------------------------] 4/22520[debug] /sqlite/src/json.c:1143:7 ExecutionResult: Passed21
       [--------------------------------] 5/22522[debug] /sqlite/src/json.c:1305:14 ExecutionResult: Passed23[debug] /sqlite/src/json.c:1317:38 ExecutionResult: Failed24[debug] /sqlite/src/json.c:1368:7 ExecutionResult: Failed25[debug] /sqlite/src/json.c:3648:7 ExecutionResult: Failed26
       [#-------------------------------] 9/22527[debug] /sqlite/src/json.c:3595:9 ExecutionResult: Passed28[debug] /sqlite/src/json.c:3554:40 ExecutionResult: Failed29[debug] /sqlite/src/json.c:4636:10 ExecutionResult: Failed30
       [#-------------------------------] 12/22531[debug] /sqlite/src/json.c:3550:12 ExecutionResult: Failed32[debug] /sqlite/src/json.c:4403:8 ExecutionResult: Failed33[debug] /sqlite/src/json.c:2117:5 ExecutionResult: Failed34[debug] /sqlite/src/json.c:3670:11 ExecutionResult: Failed35[debug] /sqlite/src/json.c:2157:19 ExecutionResult: Passed36
       [##------------------------------] 17/22537[debug] /sqlite/src/json.c:1235:33 ExecutionResult: Failed38
       [##------------------------------] 18/22539[debug] /sqlite/src/json.c:418:13 ExecutionResult: Passed40[debug] /sqlite/src/json.c:459:17 ExecutionResult: Passed41
       [##------------------------------] 20/22542[debug] /sqlite/src/json.c:897:26 ExecutionResult: Passed43
       [##------------------------------] 21/22544[debug] /sqlite/src/json.c:1285:12 ExecutionResult: Failed45[debug] /sqlite/src/json.c:1246:22 ExecutionResult: Passed46
       [###-----------------------------] 23/22547[debug] /sqlite/src/json.c:2126:25 ExecutionResult: Failed48[debug] /sqlite/src/json.c:1147:8 ExecutionResult: Passed49
       [###-----------------------------] 25/22550[debug] /sqlite/src/json.c:1305:14 ExecutionResult: Passed51[debug] /sqlite/src/json.c:1372:5 ExecutionResult: Failed52[debug] /sqlite/src/json.c:1318:20 ExecutionResult: Passed53[debug] /sqlite/src/json.c:3648:38 ExecutionResult: Passed54
       [####----------------------------] 29/22555[debug] /sqlite/src/json.c:3595:11 ExecutionResult: Passed56[debug] /sqlite/src/json.c:3555:9 ExecutionResult: Failed57[debug] /sqlite/src/json.c:4636:10 ExecutionResult: Failed58
       [####----------------------------] 32/22559[debug] /sqlite/src/json.c:3550:19 ExecutionResult: Failed60[debug] /sqlite/src/json.c:2158:13 ExecutionResult: Passed61[debug] /sqlite/src/json.c:4404:8 ExecutionResult: Passed62
       [####----------------------------] 35/22563[debug] /sqlite/src/json.c:2117:23 ExecutionResult: Failed64[debug] /sqlite/src/json.c:3671:14 ExecutionResult: Passed65
       [#####---------------------------] 37/22566[debug] /sqlite/src/json.c:418:13 ExecutionResult: Passed67
       [#####---------------------------] 38/22568[debug] /sqlite/src/json.c:900:5 ExecutionResult: Passed69
       [#####---------------------------] 39/22570[debug] /sqlite/src/json.c:1293:16 ExecutionResult: Passed71
       [#####---------------------------] 40/22572[debug] /sqlite/src/json.c:2127:7 ExecutionResult: Failed73
       [#####---------------------------] 41/22574[debug] /sqlite/src/json.c:1147:8 ExecutionResult: Passed75
       [#####---------------------------] 42/22576[debug] /sqlite/src/json.c:1372:12 ExecutionResult: Failed77[debug] /sqlite/src/json.c:1312:26 ExecutionResult: Passed78
       [######--------------------------] 44/22579[debug] /sqlite/src/json.c:1319:10 ExecutionResult: Passed80[debug] /sqlite/src/json.c:3649:14 ExecutionResult: Passed81[debug] /sqlite/src/json.c:3596:12 ExecutionResult: Failed82[debug] /sqlite/src/json.c:3555:11 ExecutionResult: Failed83
       [######--------------------------] 48/22584[debug] /sqlite/src/json.c:4636:17 ExecutionResult: Passed85[debug] /sqlite/src/json.c:3551:15 ExecutionResult: Passed86[debug] /sqlite/src/json.c:4404:13 ExecutionResult: Failed87[debug] /sqlite/src/json.c:2158:16 ExecutionResult: Passed88
       [#######-------------------------] 52/22589[debug] /sqlite/src/json.c:3710:8 ExecutionResult: Passed90[debug] /sqlite/src/json.c:2118:8 ExecutionResult: Failed91[debug] /sqlite/src/json.c:1236:5 ExecutionResult: Failed92
       [#######-------------------------] 55/22593[debug] /sqlite/src/json.c:460:17 ExecutionResult: Failed94
       [#######-------------------------] 56/22595[debug] /sqlite/src/json.c:1247:19 ExecutionResult: Failed96
       [########------------------------] 57/22597[debug] /sqlite/src/json.c:902:19 ExecutionResult: Passed98
       [########------------------------] 58/22599[debug] /sqlite/src/json.c:1293:16 ExecutionResult: Passed100
       [########------------------------] 59/225101[debug] /sqlite/src/json.c:2128:14 ExecutionResult: Passed102
       [########------------------------] 60/225103[debug] /sqlite/src/json.c:1149:11 ExecutionResult: Failed104
       [########------------------------] 61/225105[debug] /sqlite/src/json.c:2046:5 ExecutionResult: Failed106[debug] /sqlite/src/json.c:1312:49 ExecutionResult: Passed107[debug] /sqlite/src/json.c:3650:15 ExecutionResult: Passed108
       [#########-----------------------] 64/225109[debug] /sqlite/src/json.c:1319:18 ExecutionResult: Passed110
       [#########-----------------------] 65/225111[debug] /sqlite/src/json.c:4636:17 ExecutionResult: Failed112[debug] /sqlite/src/json.c:3556:11 ExecutionResult: Passed113
       [#########-----------------------] 67/225114[debug] /sqlite/src/json.c:3551:15 ExecutionResult: Failed115[debug] /sqlite/src/json.c:2158:19 ExecutionResult: Passed116[debug] /sqlite/src/json.c:4404:13 ExecutionResult: Failed117
       [#########-----------------------] 70/225118[debug] /sqlite/src/json.c:3711:12 ExecutionResult: Passed119[debug] /sqlite/src/json.c:2118:8 ExecutionResult: Passed120[debug] /sqlite/src/json.c:1241:16 ExecutionResult: Passed121
       [##########----------------------] 73/225122[debug] /sqlite/src/json.c:418:25 ExecutionResult: Failed123
       [##########----------------------] 74/225124[debug] /sqlite/src/json.c:461:21 ExecutionResult: Passed125
       [##########----------------------] 75/225126[debug] /sqlite/src/json.c:903:24 ExecutionResult: Passed127
       [##########----------------------] 76/225128[debug] /sqlite/src/json.c:1294:13 ExecutionResult: Failed129[debug] /sqlite/src/json.c:3609:8 ExecutionResult: Failed130
       [###########---------------------] 78/225131[debug] /sqlite/src/json.c:2135:14 ExecutionResult: Passed132
       [###########---------------------] 79/225133[debug] /sqlite/src/json.c:1152:22 ExecutionResult: Passed134
       [###########---------------------] 80/225135[debug] /sqlite/src/json.c:2046:7 ExecutionResult: Failed136[debug] /sqlite/src/json.c:1312:53 ExecutionResult: Passed137
       [###########---------------------] 82/225138[debug] /sqlite/src/json.c:1319:26 ExecutionResult: Passed139
       [###########---------------------] 83/225140[debug] /sqlite/src/json.c:4637:7 ExecutionResult: Failed141
       [###########---------------------] 84/225142[debug] /sqlite/src/json.c:2158:19 ExecutionResult: Passed143[debug] /sqlite/src/json.c:3553:11 ExecutionResult: Passed144
       [############--------------------] 86/225145[debug] /sqlite/src/json.c:3556:18 ExecutionResult: Passed146[debug] /sqlite/src/json.c:1262:19 ExecutionResult: Failed147[debug] /sqlite/src/json.c:4430:3 ExecutionResult: Failed148[debug] /sqlite/src/json.c:2119:8 ExecutionResult: Failed149[debug] /sqlite/src/json.c:1241:16 ExecutionResult: Passed150[debug] /sqlite/src/json.c:3712:22 ExecutionResult: Passed151
       [#############-------------------] 92/225152[debug] /sqlite/src/json.c:463:11 ExecutionResult: Passed153[debug] /sqlite/src/json.c:419:5 ExecutionResult: Passed154
       [#############-------------------] 94/225155[debug] /sqlite/src/json.c:3657:9 ExecutionResult: Failed156[debug] /sqlite/src/json.c:913:23 ExecutionResult: Passed157[debug] /sqlite/src/json.c:1295:22 ExecutionResult: Passed158
       [#############-------------------] 97/225159[debug] /sqlite/src/json.c:3612:13 ExecutionResult: Passed160
       [#############-------------------] 98/225161[debug] /sqlite/src/json.c:2144:10 ExecutionResult: Passed162
       [##############------------------] 99/225163[debug] /sqlite/src/json.c:2048:8 ExecutionResult: Passed164
       [##############------------------] 100/225165[debug] /sqlite/src/json.c:1312:55 ExecutionResult: Passed166
       [##############------------------] 101/225167[debug] /sqlite/src/json.c:4641:11 ExecutionResult: Failed168
       [##############------------------] 102/225169[debug] /sqlite/src/json.c:2158:34 ExecutionResult: Passed170[debug] /sqlite/src/json.c:3553:26 ExecutionResult: Failed171[debug] /sqlite/src/json.c:3556:18 ExecutionResult: Failed172[debug] /sqlite/src/json.c:1320:10 ExecutionResult: Passed173
       [###############-----------------] 106/225174[debug] /sqlite/src/json.c:4431:3 ExecutionResult: Passed175[debug] /sqlite/src/json.c:1263:40 ExecutionResult: Failed176
       [###############-----------------] 108/225177[debug] /sqlite/src/json.c:2120:7 ExecutionResult: Failed178[debug] /sqlite/src/json.c:1242:10 ExecutionResult: Passed179[debug] /sqlite/src/json.c:3712:22 ExecutionResult: Passed180
       [###############-----------------] 111/225181[debug] /sqlite/src/json.c:487:7 ExecutionResult: Passed182[debug] /sqlite/src/json.c:421:3 ExecutionResult: Passed183
       [################----------------] 113/225184[debug] /sqlite/src/json.c:1214:7 ExecutionResult: Failed185
       [################----------------] 114/225186[debug] /sqlite/src/json.c:1295:22 ExecutionResult: Passed187
       [################----------------] 115/225188[debug] /sqlite/src/json.c:2144:12 ExecutionResult: Passed189
       [################----------------] 116/225190[debug] /sqlite/src/json.c:2048:8 ExecutionResult: Passed191[debug] /sqlite/src/json.c:1314:19 ExecutionResult: Passed192
       [################----------------] 118/225193[debug] /sqlite/src/json.c:4641:15 ExecutionResult: Failed194[debug] /sqlite/src/json.c:2160:10 ExecutionResult: Passed195[debug] /sqlite/src/json.c:3557:10 ExecutionResult: Passed196[debug] /sqlite/src/json.c:3553:33 ExecutionResult: Failed197
       [#################---------------] 121/225198[debug] /sqlite/src/json.c:4632:6 ExecutionResult: Failed199[debug] /sqlite/src/json.c:1320:22 ExecutionResult: Passed200[debug] /sqlite/src/json.c:2121:14 ExecutionResult: Failed201
       [#################---------------] 125/225202[debug] /sqlite/src/json.c:3716:7 ExecutionResult: Failed203[debug] /sqlite/src/json.c:487:31 ExecutionResult: Passed204
       [##################--------------] 127/225205[debug] /sqlite/src/json.c:3657:19 ExecutionResult: Failed206[debug] /sqlite/src/json.c:424:3 ExecutionResult: Passed207[debug] /sqlite/src/json.c:1242:18 ExecutionResult: Failed208
       [##################--------------] 130/225209[debug] /sqlite/src/json.c:913:23 ExecutionResult: Failed210
       [##################--------------] 131/225211[debug] /sqlite/src/json.c:3613:17 ExecutionResult: Failed212
       [##################--------------] 132/225213[debug] /sqlite/src/json.c:1214:43 ExecutionResult: Passed214
       [##################--------------] 133/225215[debug] /sqlite/src/json.c:1281:10 ExecutionResult: Failed216
       [###################-------------] 134/225217[debug] /sqlite/src/json.c:1296:13 ExecutionResult: Passed218[debug] /sqlite/src/json.c:2144:12 ExecutionResult: Passed219
       [###################-------------] 136/225220[debug] /sqlite/src/json.c:2066:8 ExecutionResult: Failed221[debug] /sqlite/src/json.c:1316:14 ExecutionResult: Failed222
       [###################-------------] 138/225223[debug] /sqlite/src/json.c:4643:11 ExecutionResult: Failed224
       [###################-------------] 139/225225[debug] /sqlite/src/json.c:2163:8 ExecutionResult: Failed226[debug] /sqlite/src/json.c:3553:33 ExecutionResult: Failed227[debug] /sqlite/src/json.c:3557:10 ExecutionResult: Passed228
       [####################------------] 142/225229[debug] /sqlite/src/json.c:2122:10 ExecutionResult: Failed230[debug] /sqlite/src/json.c:4633:6 ExecutionResult: Failed231[debug] /sqlite/src/json.c:1366:13 ExecutionResult: Passed232[debug] /sqlite/src/json.c:4401:11 ExecutionResult: Failed233
       [####################------------] 146/225234[debug] /sqlite/src/json.c:491:12 ExecutionResult: Passed235
       [####################------------] 147/225236[debug] /sqlite/src/json.c:3661:15 ExecutionResult: Failed237[debug] /sqlite/src/json.c:1242:30 ExecutionResult: Failed238
       [#####################-----------] 149/225239[debug] /sqlite/src/json.c:914:21 ExecutionResult: Passed240
       [#####################-----------] 150/225241[debug] /sqlite/src/json.c:3623:12 ExecutionResult: Passed242
       [#####################-----------] 151/225243[debug] /sqlite/src/json.c:1214:53 ExecutionResult: Passed244
       [#####################-----------] 152/225245[debug] /sqlite/src/json.c:1302:9 ExecutionResult: Failed246[debug] /sqlite/src/json.c:2150:12 ExecutionResult: Passed247
       [#####################-----------] 154/225248[debug] /sqlite/src/json.c:2066:8 ExecutionResult: Passed249
       [######################----------] 155/225250[debug] /sqlite/src/json.c:1317:10 ExecutionResult: Failed251[debug] /sqlite/src/json.c:444:8 ExecutionResult: Failed252
       [######################----------] 157/225253[debug] /sqlite/src/json.c:4691:3 ExecutionResult: Failed254
       [######################----------] 158/225255[debug] /sqlite/src/json.c:3546:10 ExecutionResult: Passed256[debug] /sqlite/src/json.c:3554:10 ExecutionResult: Failed257
       [######################----------] 160/225258[debug] /sqlite/src/json.c:2122:12 ExecutionResult: Passed259[debug] /sqlite/src/json.c:3558:12 ExecutionResult: Passed260[debug] /sqlite/src/json.c:1366:13 ExecutionResult: Failed261
       [#######################---------] 163/225262[debug] /sqlite/src/json.c:4401:11 ExecutionResult: Failed263[debug] /sqlite/src/json.c:492:9 ExecutionResult: Passed264
       [#######################---------] 165/225265[debug] /sqlite/src/json.c:3664:26 ExecutionResult: Passed266
       [#######################---------] 166/225267[debug] /sqlite/src/json.c:916:7 ExecutionResult: Passed268
       [#######################---------] 167/225269[debug] /sqlite/src/json.c:3624:9 ExecutionResult: Passed270
       [#######################---------] 168/225271[debug] /sqlite/src/json.c:1281:16 ExecutionResult: Failed272[debug] /sqlite/src/json.c:1215:3 ExecutionResult: Failed273
       [########################--------] 170/225274[debug] /sqlite/src/json.c:1302:19 ExecutionResult: Passed275[debug] /sqlite/src/json.c:2157:13 ExecutionResult: Passed276
       [########################--------] 172/225277[debug] /sqlite/src/json.c:4634:11 ExecutionResult: Failed278
       [########################--------] 173/225279[debug] /sqlite/src/json.c:1317:18 ExecutionResult: Failed280[debug] /sqlite/src/json.c:447:10 ExecutionResult: Failed281
       [########################--------] 175/225282[debug] /sqlite/src/json.c:1243:19 ExecutionResult: Failed283
       [#########################-------] 176/225284[debug] /sqlite/src/json.c:4695:5 ExecutionResult: Failed285[debug] /sqlite/src/json.c:3548:7 ExecutionResult: Failed286
       [#########################-------] 178/225287[debug] /sqlite/src/json.c:2122:12 ExecutionResult: Failed288
       [#########################-------] 179/225289[debug] /sqlite/src/json.c:3554:12 ExecutionResult: Failed290[debug] /sqlite/src/json.c:3558:23 ExecutionResult: Passed291
       [#########################-------] 181/225292[debug] /sqlite/src/json.c:4402:42 ExecutionResult: Passed293[debug] /sqlite/src/json.c:1367:6 ExecutionResult: Passed294[debug] /sqlite/src/json.c:492:11 ExecutionResult: Passed295
       [##########################------] 184/225296[debug] /sqlite/src/json.c:3668:21 ExecutionResult: Passed297
       [##########################------] 185/225298[debug] /sqlite/src/json.c:917:7 ExecutionResult: Passed299
       [##########################------] 186/225300[debug] /sqlite/src/json.c:3644:12 ExecutionResult: Passed301[debug] /sqlite/src/json.c:1235:20 ExecutionResult: Failed302[debug] /sqlite/src/json.c:2067:13 ExecutionResult: Failed303
       [##########################------] 189/225304[debug] /sqlite/src/json.c:1304:9 ExecutionResult: Passed305
       [###########################-----] 190/225306[debug] /sqlite/src/json.c:4635:9 ExecutionResult: Failed307[debug] /sqlite/src/json.c:2157:16 ExecutionResult: Passed308[debug] /sqlite/src/json.c:1317:26 ExecutionResult: Failed309
       [###########################-----] 193/225310[debug] /sqlite/src/json.c:449:5 ExecutionResult: Failed311
       [###########################-----] 194/225312[debug] /sqlite/src/json.c:1244:22 ExecutionResult: Passed313
       [###########################-----] 195/225314[debug] /sqlite/src/json.c:3548:31 ExecutionResult: Failed315[debug] /sqlite/src/json.c:5582:3 ExecutionResult: Failed316
       [############################----] 197/225317[debug] /sqlite/src/json.c:3564:12 ExecutionResult: Passed318[debug] /sqlite/src/json.c:2126:8 ExecutionResult: Failed319[debug] /sqlite/src/json.c:3554:40 ExecutionResult: Passed320[debug] /sqlite/src/json.c:1282:13 ExecutionResult: Failed321
       [############################----] 201/225322[debug] /sqlite/src/json.c:4402:42 ExecutionResult: Passed323[debug] /sqlite/src/json.c:1368:5 ExecutionResult: Failed324
       [############################----] 203/225325[debug] /sqlite/src/json.c:3669:8 ExecutionResult: Passed326[debug] /sqlite/src/json.c:1005:7 ExecutionResult: Passed327
       [#############################---] 205/225328[debug] /sqlite/src/json.c:3644:14 ExecutionResult: Passed329
       [#############################---] 206/225330[debug] /sqlite/src/json.c:1235:30 ExecutionResult: Failed331[debug] /sqlite/src/json.c:2074:5 ExecutionResult: Passed332
       [#############################---] 208/225333[debug] /sqlite/src/json.c:2157:19 ExecutionResult: Passed334[debug] /sqlite/src/json.c:1304:33 ExecutionResult: Passed335[debug] /sqlite/src/json.c:1244:22 ExecutionResult: Passed336
       [##############################--] 211/225337[debug] /sqlite/src/json.c:451:10 ExecutionResult: Failed338
       [##############################--] 212/225339[debug] /sqlite/src/json.c:4635:13 ExecutionResult: Failed340
       [##############################--] 213/225341[debug] /sqlite/src/json.c:495:8 ExecutionResult: Failed342[debug] /sqlite/src/json.c:1282:13 ExecutionResult: Passed343
       [##############################--] 215/225344[debug] /sqlite/src/json.c:1142:25 ExecutionResult: Passed345
       [##############################--] 216/225346[debug] /sqlite/src/json.c:3646:15 ExecutionResult: Failed347[debug] /sqlite/src/json.c:3669:10 ExecutionResult: Passed348
       [###############################-] 218/225349[debug] /sqlite/src/json.c:1235:33 ExecutionResult: Passed350
       [###############################-] 219/225351[debug] /sqlite/src/json.c:1245:10 ExecutionResult: Passed352
       [###############################-] 220/225353[debug] /sqlite/src/json.c:453:16 ExecutionResult: Passed354
       [###############################-] 221/225355[debug] /sqlite/src/json.c:894:5 ExecutionResult: Passed356
       [###############################-] 222/225357[debug] /sqlite/src/json.c:1283:12 ExecutionResult: Failed358
       [###############################-] 223/225359[debug] /sqlite/src/json.c:1245:18 ExecutionResult: Passed360
       [###############################-] 224/225361[debug] /sqlite/src/json.c:1284:19 ExecutionResult: Failed362
       [################################] 225/225. Finished in 2515ms363[debug] Done running mutants364[info] Survived mutants (125/225):365/sqlite/src/json.c:418:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]366  for(i=0; i<p->nUsed; i++){367       ^368/sqlite/src/json.c:418:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]369  for(i=0; i<p->nUsed; i++){370            ^371/sqlite/src/json.c:418:13: warning: Survived: Replaced < with <= [cxx_lt_to_le]372  for(i=0; i<p->nUsed; i++){373            ^374/sqlite/src/json.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]375    jsonParseFree(p->a[i]);376    ^377/sqlite/src/json.c:421:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]378  sqlite3DbFree(p->db, p);379  ^380/sqlite/src/json.c:424:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]381  jsonCacheDelete((JsonCache*)p);382  ^383/sqlite/src/json.c:453:16: warning: Survived: Replaced >= with > [cxx_ge_to_gt]384  if( p->nUsed >= JSON_CACHE_SIZE ){385               ^386/sqlite/src/json.c:453:16: warning: Survived: Replaced >= with < [cxx_ge_to_lt]387  if( p->nUsed >= JSON_CACHE_SIZE ){388               ^389/sqlite/src/json.c:459:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]390  pParse->eEdit = 0;391                ^392/sqlite/src/json.c:461:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]393  pParse->bReadOnly = 1;394                    ^395/sqlite/src/json.c:463:11: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]396  p->nUsed++;397          ^398/sqlite/src/json.c:487:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]399  if( sqlite3_value_type(pArg)!=SQLITE_TEXT ){400      ^401/sqlite/src/json.c:487:31: warning: Survived: Replaced != with == [cxx_ne_to_eq]402  if( sqlite3_value_type(pArg)!=SQLITE_TEXT ){403                              ^404/sqlite/src/json.c:491:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]405  if( zJson==0 ) return 0;406           ^407/sqlite/src/json.c:492:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]408  nJson = sqlite3_value_bytes(pArg);409        ^410/sqlite/src/json.c:492:11: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]411  nJson = sqlite3_value_bytes(pArg);412          ^413/sqlite/src/json.c:894:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]414    sqlite3RCStrUnref(pParse->zJson);415    ^416/sqlite/src/json.c:896:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]417    pParse->nJson = 0;418                  ^419/sqlite/src/json.c:897:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]420    pParse->bJsonIsRCStr = 0;421                         ^422/sqlite/src/json.c:900:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]423    sqlite3DbFree(pParse->db, pParse->aBlob);424    ^425/sqlite/src/json.c:902:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]426    pParse->nBlob = 0;427                  ^428/sqlite/src/json.c:903:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]429    pParse->nBlobAlloc = 0;430                       ^431/sqlite/src/json.c:913:23: warning: Survived: Replaced > with >= [cxx_gt_to_ge]432    if( pParse->nJPRef>1 ){433                      ^434/sqlite/src/json.c:914:21: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]435      pParse->nJPRef--;436                    ^437/sqlite/src/json.c:916:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]438      jsonParseReset(pParse);439      ^440/sqlite/src/json.c:917:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]441      sqlite3DbFree(pParse->db, pParse);442      ^443/sqlite/src/json.c:1005:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]444  int n = 0;445      ^446/sqlite/src/json.c:1142:25: warning: Survived: Replaced == with != [cxx_eq_to_ne]447  if( pParse->nBlobAlloc==0 ){448                        ^449/sqlite/src/json.c:1143:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]450    t = 100;451      ^452/sqlite/src/json.c:1147:8: warning: Survived: Replaced < with >= [cxx_lt_to_ge]453  if( t<N ) t = N+100;454       ^455/sqlite/src/json.c:1147:8: warning: Survived: Replaced < with <= [cxx_lt_to_le]456  if( t<N ) t = N+100;457       ^458/sqlite/src/json.c:1152:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]459  pParse->nBlobAlloc = (u32)t;460                     ^461/sqlite/src/json.c:1214:43: warning: Survived: Replaced + with - [cxx_add_to_sub]462  if( jsonBlobExpand(pParse, pParse->nBlob+szPayload+9) ) return;463                                          ^464/sqlite/src/json.c:1214:53: warning: Survived: Replaced + with - [cxx_add_to_sub]465  if( jsonBlobExpand(pParse, pParse->nBlob+szPayload+9) ) return;466                                                    ^467/sqlite/src/json.c:1235:33: warning: Survived: Replaced > with >= [cxx_gt_to_ge]468  if( pParse->nBlob+szPayload+9 > pParse->nBlobAlloc ){469                                ^470/sqlite/src/json.c:1241:16: warning: Survived: Replaced <= with > [cxx_le_to_gt]471  if( szPayload<=11 ){472               ^473/sqlite/src/json.c:1241:16: warning: Survived: Replaced <= with < [cxx_le_to_lt]474  if( szPayload<=11 ){475               ^476/sqlite/src/json.c:1242:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]477    a[0] = eType | (szPayload<<4);478         ^479/sqlite/src/json.c:1244:22: warning: Survived: Replaced <= with > [cxx_le_to_gt]480  }else if( szPayload<=0xff ){481                     ^482/sqlite/src/json.c:1244:22: warning: Survived: Replaced <= with < [cxx_le_to_lt]483  }else if( szPayload<=0xff ){484                     ^485/sqlite/src/json.c:1245:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]486    a[0] = eType | 0xc0;487         ^488/sqlite/src/json.c:1245:18: warning: Survived: Replaced | with & [cxx_or_to_and]489    a[0] = eType | 0xc0;490                 ^491/sqlite/src/json.c:1246:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]492    a[1] = szPayload & 0xff;493         ^494/sqlite/src/json.c:1246:22: warning: Survived: Replaced & with | [cxx_and_to_or]495    a[1] = szPayload & 0xff;496                     ^497/sqlite/src/json.c:1282:13: warning: Survived: Replaced <= with < [cxx_le_to_lt]498  if( szType<=11 ){499            ^500/sqlite/src/json.c:1293:16: warning: Survived: Replaced <= with > [cxx_le_to_gt]501  if( szPayload<=11 ){502               ^503/sqlite/src/json.c:1293:16: warning: Survived: Replaced <= with < [cxx_le_to_lt]504  if( szPayload<=11 ){505               ^506/sqlite/src/json.c:1295:22: warning: Survived: Replaced <= with > [cxx_le_to_gt]507  }else if( szPayload<=0xff ){508                     ^509/sqlite/src/json.c:1295:22: warning: Survived: Replaced <= with < [cxx_le_to_lt]510  }else if( szPayload<=0xff ){511                     ^512/sqlite/src/json.c:1296:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]513    nNeeded = 1;514            ^515/sqlite/src/json.c:1302:19: warning: Survived: Replaced - with + [cxx_sub_to_add]516  delta = nNeeded - nExtra;517                  ^518/sqlite/src/json.c:1304:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]519    u32 newSize = pParse->nBlob + delta;520        ^521/sqlite/src/json.c:1304:33: warning: Survived: Replaced + with - [cxx_add_to_sub]522    u32 newSize = pParse->nBlob + delta;523                                ^524/sqlite/src/json.c:1305:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]525    if( delta>0 ){526             ^527/sqlite/src/json.c:1305:14: warning: Survived: Replaced > with <= [cxx_gt_to_le]528    if( delta>0 ){529             ^530/sqlite/src/json.c:1312:26: warning: Survived: Replaced - with + [cxx_sub_to_add]531      memmove(&a[1], &a[1-delta], pParse->nBlob - (i+1-delta));532                         ^533/sqlite/src/json.c:1312:49: warning: Survived: Replaced - with + [cxx_sub_to_add]534      memmove(&a[1], &a[1-delta], pParse->nBlob - (i+1-delta));535                                                ^536/sqlite/src/json.c:1312:53: warning: Survived: Replaced + with - [cxx_add_to_sub]537      memmove(&a[1], &a[1-delta], pParse->nBlob - (i+1-delta));538                                                    ^539/sqlite/src/json.c:1312:55: warning: Survived: Replaced - with + [cxx_sub_to_add]540      memmove(&a[1], &a[1-delta], pParse->nBlob - (i+1-delta));541                                                      ^542/sqlite/src/json.c:1314:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]543    pParse->nBlob = newSize;544                  ^545/sqlite/src/json.c:1318:20: warning: Survived: Replaced == with != [cxx_eq_to_ne]546  }else if( nNeeded==1 ){547                   ^548/sqlite/src/json.c:1319:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]549    a[0] = (a[0] & 0x0f) | 0xc0;550         ^551/sqlite/src/json.c:1319:18: warning: Survived: Replaced & with | [cxx_and_to_or]552    a[0] = (a[0] & 0x0f) | 0xc0;553                 ^554/sqlite/src/json.c:1319:26: warning: Survived: Replaced | with & [cxx_or_to_and]555    a[0] = (a[0] & 0x0f) | 0xc0;556                         ^557/sqlite/src/json.c:1320:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]558    a[1] = szPayload & 0xff;559         ^560/sqlite/src/json.c:1320:22: warning: Survived: Replaced & with | [cxx_and_to_or]561    a[1] = szPayload & 0xff;562                     ^563/sqlite/src/json.c:1366:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]564  if( iDepth>JSON_MAX_DEPTH ) return i+1;565            ^566/sqlite/src/json.c:1367:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]567  sz = 0;568     ^569/sqlite/src/json.c:2048:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]570  if( i>0 ){571       ^572/sqlite/src/json.c:2048:8: warning: Survived: Replaced > with <= [cxx_gt_to_le]573  if( i>0 ){574       ^575/sqlite/src/json.c:2066:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]576  if( i<=0 ){577       ^578/sqlite/src/json.c:2074:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]579    jsonParseReset(pParse);580    ^581/sqlite/src/json.c:2118:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]582  if( x<=11 ){583       ^584/sqlite/src/json.c:2122:12: warning: Survived: Replaced >= with > [cxx_ge_to_gt]585    if( i+1>=pParse->nBlob ){586           ^587/sqlite/src/json.c:2128:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]588  }else if( x==13 ){589             ^590/sqlite/src/json.c:2135:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]591  }else if( x==14 ){592             ^593/sqlite/src/json.c:2144:10: warning: Survived: Replaced + with - [cxx_add_to_sub]594    if( i+8>=pParse->nBlob595         ^596/sqlite/src/json.c:2144:12: warning: Survived: Replaced >= with > [cxx_ge_to_gt]597    if( i+8>=pParse->nBlob598           ^599/sqlite/src/json.c:2144:12: warning: Survived: Replaced >= with < [cxx_ge_to_lt]600    if( i+8>=pParse->nBlob601           ^602/sqlite/src/json.c:2150:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]603      *pSz = 0;604           ^605/sqlite/src/json.c:2157:13: warning: Survived: Replaced + with - [cxx_add_to_sub]606  if( (i64)i+sz+n > pParse->nBlob607            ^608/sqlite/src/json.c:2157:16: warning: Survived: Replaced + with - [cxx_add_to_sub]609  if( (i64)i+sz+n > pParse->nBlob610               ^611/sqlite/src/json.c:2157:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]612  if( (i64)i+sz+n > pParse->nBlob613                  ^614/sqlite/src/json.c:2157:19: warning: Survived: Replaced > with <= [cxx_gt_to_le]615  if( (i64)i+sz+n > pParse->nBlob616                  ^617/sqlite/src/json.c:2158:13: warning: Survived: Replaced + with - [cxx_add_to_sub]618   && (i64)i+sz+n > pParse->nBlob-pParse->delta619            ^620/sqlite/src/json.c:2158:16: warning: Survived: Replaced + with - [cxx_add_to_sub]621   && (i64)i+sz+n > pParse->nBlob-pParse->delta622               ^623/sqlite/src/json.c:2158:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]624   && (i64)i+sz+n > pParse->nBlob-pParse->delta625                  ^626/sqlite/src/json.c:2158:19: warning: Survived: Replaced > with <= [cxx_gt_to_le]627   && (i64)i+sz+n > pParse->nBlob-pParse->delta628                  ^629/sqlite/src/json.c:2158:34: warning: Survived: Replaced - with + [cxx_sub_to_add]630   && (i64)i+sz+n > pParse->nBlob-pParse->delta631                                 ^632/sqlite/src/json.c:2160:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]633    *pSz = 0;634         ^635/sqlite/src/json.c:3546:10: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]636  u32 n, sz = 0;637         ^638/sqlite/src/json.c:3551:15: warning: Survived: Replaced > with >= [cxx_gt_to_ge]639  if( p->nBlob>0640              ^641/sqlite/src/json.c:3553:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]642   && ((c = p->aBlob[0]) & 0x0f)<=JSONB_OBJECT643          ^644/sqlite/src/json.c:3554:40: warning: Survived: Replaced > with >= [cxx_gt_to_ge]645   && (n = jsonbPayloadSize(p, 0, &sz))>0646                                       ^647/sqlite/src/json.c:3556:11: warning: Survived: Replaced & with | [cxx_and_to_or]648   && ((c & 0x0f)>JSONB_FALSE || sz==0)649          ^650/sqlite/src/json.c:3556:18: warning: Survived: Replaced > with >= [cxx_gt_to_ge]651   && ((c & 0x0f)>JSONB_FALSE || sz==0)652                 ^653/sqlite/src/json.c:3557:10: warning: Survived: Replaced > with >= [cxx_gt_to_ge]654   && (sz>7 655         ^656/sqlite/src/json.c:3557:10: warning: Survived: Replaced > with <= [cxx_gt_to_le]657   && (sz>7 658         ^659/sqlite/src/json.c:3558:12: warning: Survived: Replaced != with == [cxx_ne_to_eq]660      || (c!=0x7b && c!=0x5b && !sqlite3Isdigit(c))661           ^662/sqlite/src/json.c:3558:23: warning: Survived: Replaced != with == [cxx_ne_to_eq]663      || (c!=0x7b && c!=0x5b && !sqlite3Isdigit(c))664                      ^665/sqlite/src/json.c:3564:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]666  p->nBlob = 0;667           ^668/sqlite/src/json.c:3595:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]669  eType = sqlite3_value_type(pArg);670        ^671/sqlite/src/json.c:3595:11: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]672  eType = sqlite3_value_type(pArg);673          ^674/sqlite/src/json.c:3612:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]675  p->nJPRef = 1;676            ^677/sqlite/src/json.c:3623:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]678  if( eType==SQLITE_BLOB ){679           ^680/sqlite/src/json.c:3624:9: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]681    if( jsonArgIsJsonb(pArg,p) ){682        ^683/sqlite/src/json.c:3644:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]684  p->nJson = sqlite3_value_bytes(pArg);685           ^686/sqlite/src/json.c:3644:14: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]687  p->nJson = sqlite3_value_bytes(pArg);688             ^689/sqlite/src/json.c:3648:38: warning: Survived: Replaced & with | [cxx_and_to_or]690  if( jsonConvertTextToBlob(p, (flgs & JSON_KEEPERROR) ? 0 : ctx) ){691                                     ^692/sqlite/src/json.c:3649:14: warning: Survived: Replaced & with | [cxx_and_to_or]693    if( flgs & JSON_KEEPERROR ){694             ^695/sqlite/src/json.c:3650:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]696      p->nErr = 1;697              ^698/sqlite/src/json.c:3664:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]699      p->zJson[p->nJson] = 0;700                         ^701/sqlite/src/json.c:3668:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]702    p->bJsonIsRCStr = 1;703                    ^704/sqlite/src/json.c:3669:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]705    rc = jsonCacheInsert(ctx, p);706       ^707/sqlite/src/json.c:3669:10: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]708    rc = jsonCacheInsert(ctx, p);709         ^710/sqlite/src/json.c:3671:14: warning: Survived: Replaced & with | [cxx_and_to_or]711    if( flgs & JSON_EDITABLE ){712             ^713/sqlite/src/json.c:3710:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]714  flgs = SQLITE_PTR_TO_INT(sqlite3_user_data(ctx));715       ^716/sqlite/src/json.c:3711:12: warning: Survived: Replaced & with | [cxx_and_to_or]717  if( flgs & JSON_BLOB ){718           ^719/sqlite/src/json.c:3712:22: warning: Survived: Replaced > with >= [cxx_gt_to_ge]720    if( p->nBlobAlloc>0 && !p->bReadOnly ){721                     ^722/sqlite/src/json.c:3712:22: warning: Survived: Replaced > with <= [cxx_gt_to_le]723    if( p->nBlobAlloc>0 && !p->bReadOnly ){724                     ^725/sqlite/src/json.c:4402:42: warning: Survived: Replaced > with >= [cxx_gt_to_ge]726  p = jsonParseFuncArg(ctx, argv[0], argc>1 ? JSON_EDITABLE : 0);727                                         ^728/sqlite/src/json.c:4402:42: warning: Survived: Replaced > with <= [cxx_gt_to_le]729  p = jsonParseFuncArg(ctx, argv[0], argc>1 ? JSON_EDITABLE : 0);730                                         ^731/sqlite/src/json.c:4404:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]732  for(i=1; i<argc; i++){733       ^734/sqlite/src/json.c:4431:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]735  jsonParseFree(p);736  ^737/sqlite/src/json.c:4636:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]738    if( f<1 || f>15 ){739                ^740[info] Mutation score: 44%741[info] Total execution time: 2941ms742[info] Surviving mutants: 125743