CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_util_sqlite3FpDecode.out273 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 105ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 112ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:480:5 ExecutionResult: Failed15
       [--------------------------------] 1/11416[debug] /sqlite/src/util.c:490:6 ExecutionResult: Failed17[debug] /sqlite/src/util.c:1023:16 ExecutionResult: Failed18
       [--------------------------------] 3/11419[debug] /sqlite/src/util.c:1045:10 ExecutionResult: Failed20[debug] /sqlite/src/util.c:1110:39 ExecutionResult: Passed21[debug] /sqlite/src/util.c:1090:12 ExecutionResult: Passed22
       [#-------------------------------] 6/11423[debug] /sqlite/src/util.c:1120:14 ExecutionResult: Failed24[debug] /sqlite/src/util.c:1101:13 ExecutionResult: Failed25[debug] /sqlite/src/util.c:1115:21 ExecutionResult: Failed26[debug] /sqlite/src/util.c:1103:34 ExecutionResult: Failed27
       [##------------------------------] 10/11428[debug] /sqlite/src/util.c:1077:17 ExecutionResult: Failed29[debug] /sqlite/src/util.c:1126:12 ExecutionResult: Failed30[debug] /sqlite/src/util.c:1095:38 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1107:13 ExecutionResult: Failed32
       [###-----------------------------] 14/11433[debug] /sqlite/src/util.c:1042:8 ExecutionResult: Failed34[debug] /sqlite/src/util.c:1112:33 ExecutionResult: Failed35[debug] /sqlite/src/util.c:1085:17 ExecutionResult: Passed36
       [####----------------------------] 17/11437[debug] /sqlite/src/util.c:482:6 ExecutionResult: Failed38[debug] /sqlite/src/util.c:490:10 ExecutionResult: Failed39
       [#####---------------------------] 19/11440[debug] /sqlite/src/util.c:1046:12 ExecutionResult: Failed41
       [#####---------------------------] 20/11442[debug] /sqlite/src/util.c:1121:17 ExecutionResult: Failed43[debug] /sqlite/src/util.c:1090:56 ExecutionResult: Passed44[debug] /sqlite/src/util.c:1110:39 ExecutionResult: Failed45
       [######--------------------------] 23/11446[debug] /sqlite/src/util.c:1101:13 ExecutionResult: Failed47[debug] /sqlite/src/util.c:1117:13 ExecutionResult: Failed48[debug] /sqlite/src/util.c:1103:34 ExecutionResult: Failed49[debug] /sqlite/src/util.c:1077:17 ExecutionResult: Passed50
       [#######-------------------------] 27/11451[debug] /sqlite/src/util.c:1095:47 ExecutionResult: Failed52[debug] /sqlite/src/util.c:1131:20 ExecutionResult: Failed53[debug] /sqlite/src/util.c:1110:13 ExecutionResult: Passed54
       [########------------------------] 30/11455[debug] /sqlite/src/util.c:1113:10 ExecutionResult: Failed56[debug] /sqlite/src/util.c:1085:17 ExecutionResult: Passed57[debug] /sqlite/src/util.c:1043:9 ExecutionResult: Failed58
       [#########-----------------------] 33/11459[debug] /sqlite/src/util.c:482:13 ExecutionResult: Failed60
       [#########-----------------------] 34/11461[debug] /sqlite/src/util.c:490:14 ExecutionResult: Failed62
       [#########-----------------------] 35/11463[debug] /sqlite/src/util.c:1061:9 ExecutionResult: Failed64
       [##########----------------------] 36/11465[debug] /sqlite/src/util.c:1121:21 ExecutionResult: Failed66[debug] /sqlite/src/util.c:1093:5 ExecutionResult: Failed67[debug] /sqlite/src/util.c:1111:25 ExecutionResult: Failed68
       [##########----------------------] 39/11469[debug] /sqlite/src/util.c:1118:17 ExecutionResult: Failed70[debug] /sqlite/src/util.c:1102:12 ExecutionResult: Failed71[debug] /sqlite/src/util.c:1104:14 ExecutionResult: Failed72
       [###########---------------------] 42/11473[debug] /sqlite/src/util.c:1081:17 ExecutionResult: Failed74[debug] /sqlite/src/util.c:1134:19 ExecutionResult: Failed75[debug] /sqlite/src/util.c:1097:8 ExecutionResult: Failed76[debug] /sqlite/src/util.c:1114:18 ExecutionResult: Failed77
       [############--------------------] 46/11478[debug] /sqlite/src/util.c:1110:13 ExecutionResult: Failed79[debug] /sqlite/src/util.c:1086:11 ExecutionResult: Failed80[debug] /sqlite/src/util.c:1043:16 ExecutionResult: Failed81
       [#############-------------------] 49/11482[debug] /sqlite/src/util.c:484:5 ExecutionResult: Failed83
       [##############------------------] 50/11484[debug] /sqlite/src/util.c:491:6 ExecutionResult: Failed85
       [##############------------------] 51/11486[debug] /sqlite/src/util.c:1062:9 ExecutionResult: Failed87
       [##############------------------] 52/11488[debug] /sqlite/src/util.c:1122:15 ExecutionResult: Passed89[debug] /sqlite/src/util.c:1095:25 ExecutionResult: Failed90
       [###############-----------------] 54/11491[debug] /sqlite/src/util.c:1112:15 ExecutionResult: Passed92
       [###############-----------------] 55/11493[debug] /sqlite/src/util.c:1118:17 ExecutionResult: Passed94
       [###############-----------------] 56/11495[debug] /sqlite/src/util.c:1102:21 ExecutionResult: Passed96[debug] /sqlite/src/util.c:1105:16 ExecutionResult: Passed97
       [################----------------] 58/11498[debug] /sqlite/src/util.c:1081:17 ExecutionResult: Passed99[debug] /sqlite/src/util.c:1097:30 ExecutionResult: Failed100[debug] /sqlite/src/util.c:1114:18 ExecutionResult: Failed101[debug] /sqlite/src/util.c:1134:22 ExecutionResult: Failed102
       [#################---------------] 62/114103[debug] /sqlite/src/util.c:1110:26 ExecutionResult: Failed104
       [#################---------------] 63/114105[debug] /sqlite/src/util.c:1044:18 ExecutionResult: Failed106
       [#################---------------] 64/114107[debug] /sqlite/src/util.c:486:6 ExecutionResult: Failed108
       [##################--------------] 65/114109[debug] /sqlite/src/util.c:491:22 ExecutionResult: Passed110
       [##################--------------] 66/114111[debug] /sqlite/src/util.c:1063:12 ExecutionResult: Passed112
       [##################--------------] 67/114113[debug] /sqlite/src/util.c:1123:17 ExecutionResult: Failed114[debug] /sqlite/src/util.c:1095:29 ExecutionResult: Failed115
       [###################-------------] 69/114116[debug] /sqlite/src/util.c:1112:15 ExecutionResult: Failed117[debug] /sqlite/src/util.c:1119:14 ExecutionResult: Failed118
       [###################-------------] 71/114119[debug] /sqlite/src/util.c:1105:20 ExecutionResult: Failed120[debug] /sqlite/src/util.c:1100:10 ExecutionResult: Failed121
       [####################------------] 73/114122[debug] /sqlite/src/util.c:1082:11 ExecutionResult: Failed123[debug] /sqlite/src/util.c:1103:15 ExecutionResult: Failed124
       [#####################-----------] 75/114125[debug] /sqlite/src/util.c:1135:9 ExecutionResult: Failed126[debug] /sqlite/src/util.c:1115:11 ExecutionResult: Failed127[debug] /sqlite/src/util.c:1110:26 ExecutionResult: Passed128
       [#####################-----------] 78/114129[debug] /sqlite/src/util.c:1044:22 ExecutionResult: Failed130
       [######################----------] 79/114131[debug] /sqlite/src/util.c:486:10 ExecutionResult: Failed132[debug] /sqlite/src/util.c:491:25 ExecutionResult: Passed133
       [######################----------] 81/114134[debug] /sqlite/src/util.c:1063:12 ExecutionResult: Failed135
       [#######################---------] 82/114136[debug] /sqlite/src/util.c:1095:33 ExecutionResult: Failed137
       [#######################---------] 83/114138[debug] /sqlite/src/util.c:1100:17 ExecutionResult: Failed139[debug] /sqlite/src/util.c:1106:11 ExecutionResult: Passed140
       [#######################---------] 85/114141[debug] /sqlite/src/util.c:1103:31 ExecutionResult: Failed142
       [########################--------] 86/114143[debug] /sqlite/src/util.c:1044:26 ExecutionResult: Failed144
       [########################--------] 87/114145[debug] /sqlite/src/util.c:487:5 ExecutionResult: Timedout146
       [########################--------] 88/114147[debug] /sqlite/src/util.c:1032:14 ExecutionResult: Timedout148
       [########################--------] 89/114149[debug] /sqlite/src/util.c:492:8 ExecutionResult: Timedout150
       [#########################-------] 90/114151[debug] /sqlite/src/util.c:1033:13 ExecutionResult: Failed152
       [#########################-------] 91/114153[debug] /sqlite/src/util.c:492:12 ExecutionResult: Passed154
       [#########################-------] 92/114155[debug] /sqlite/src/util.c:1029:8 ExecutionResult: Timedout156
       [##########################------] 93/114157[debug] /sqlite/src/util.c:1034:10 ExecutionResult: Failed158
       [##########################------] 94/114159[debug] /sqlite/src/util.c:493:8 ExecutionResult: Failed160
       [##########################------] 95/114161[debug] /sqlite/src/util.c:1035:12 ExecutionResult: Failed162
       [##########################------] 96/114163[debug] /sqlite/src/util.c:493:12 ExecutionResult: Failed164
       [###########################-----] 97/114165[debug] /sqlite/src/util.c:1039:13 ExecutionResult: Failed166
       [###########################-----] 98/114167[debug] /sqlite/src/util.c:494:8 ExecutionResult: Passed168
       [###########################-----] 99/114169[debug] /sqlite/src/util.c:1042:5 ExecutionResult: Failed170
       [############################----] 100/114171[debug] /sqlite/src/util.c:1020:10 ExecutionResult: Failed172
       [############################----] 101/114173[debug] /sqlite/src/util.c:1087:7 ExecutionResult: Timedout174
       [############################----] 102/114175[debug] /sqlite/src/util.c:1090:5 ExecutionResult: Failed176
       [############################----] 103/114177[debug] /sqlite/src/util.c:1090:12 ExecutionResult: Passed178
       [#############################---] 104/114179[debug] /sqlite/src/util.c:1083:7 ExecutionResult: Timedout180
       [#############################---] 105/114181[debug] /sqlite/src/util.c:487:9 ExecutionResult: Timedout182
       [#############################---] 106/114183[debug] /sqlite/src/util.c:488:5 ExecutionResult: Failed184
       [##############################--] 107/114185[debug] /sqlite/src/util.c:1029:8 ExecutionResult: Timedout186
       [##############################--] 108/114187[debug] /sqlite/src/util.c:488:17 ExecutionResult: Failed188
       [##############################--] 109/114189[debug] /sqlite/src/util.c:1030:13 ExecutionResult: Failed190
       [##############################--] 110/114191[debug] /sqlite/src/util.c:489:5 ExecutionResult: Passed192
       [###############################-] 111/114193[debug] /sqlite/src/util.c:1031:7 ExecutionResult: Failed194
       [###############################-] 112/114195[debug] /sqlite/src/util.c:489:8 ExecutionResult: Passed196
       [###############################-] 113/114197[debug] /sqlite/src/util.c:1031:9 ExecutionResult: Failed198
       [################################] 114/114. Finished in 5220ms199[debug] Done running mutants200[info] Survived mutants (23/114):201/sqlite/src/util.c:489:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]202  c = p+q;203    ^204/sqlite/src/util.c:489:8: warning: Survived: Replaced + with - [cxx_add_to_sub]205  c = p+q;206       ^207/sqlite/src/util.c:491:22: warning: Survived: Replaced * with / [cxx_mul_to_div]208  cc = x[0]*yy + x[1]*y + cc;209                     ^210/sqlite/src/util.c:491:25: warning: Survived: Replaced + with - [cxx_add_to_sub]211  cc = x[0]*yy + x[1]*y + cc;212                        ^213/sqlite/src/util.c:492:12: warning: Survived: Replaced + with - [cxx_add_to_sub]214  x[0] = c + cc;215           ^216/sqlite/src/util.c:494:8: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]217  x[1] += cc;218       ^219/sqlite/src/util.c:1063:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]220  if( rr[0]>9.223372036854774784e+18 ){221           ^222/sqlite/src/util.c:1077:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]223    while( rr[0]<9.223372036854774784e-83  ){224                ^225/sqlite/src/util.c:1081:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]226    while( rr[0]<9.223372036854774784e+07  ){227                ^228/sqlite/src/util.c:1085:17: warning: Survived: Replaced < with >= [cxx_lt_to_ge]229    while( rr[0]<9.22337203685477478e+17  ){230                ^231/sqlite/src/util.c:1085:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]232    while( rr[0]<9.22337203685477478e+17  ){233                ^234/sqlite/src/util.c:1090:12: warning: Survived: Replaced < with >= [cxx_lt_to_ge]235  v = rr[1]<0.0 ? (u64)rr[0]-(u64)(-rr[1]) : (u64)rr[0]+(u64)rr[1];236           ^237/sqlite/src/util.c:1090:12: warning: Survived: Replaced < with <= [cxx_lt_to_le]238  v = rr[1]<0.0 ? (u64)rr[0]-(u64)(-rr[1]) : (u64)rr[0]+(u64)rr[1];239           ^240/sqlite/src/util.c:1090:56: warning: Survived: Replaced + with - [cxx_add_to_sub]241  v = rr[1]<0.0 ? (u64)rr[0]-(u64)(-rr[1]) : (u64)rr[0]+(u64)rr[1];242                                                       ^243/sqlite/src/util.c:1102:21: warning: Survived: Replaced - with + [cxx_sub_to_add]244    iRound = p->iDP - iRound;245                    ^246/sqlite/src/util.c:1105:16: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]247      p->zBuf[i--] = '0';248               ^249/sqlite/src/util.c:1106:11: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]250      p->n++;251          ^252/sqlite/src/util.c:1110:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]253  if( iRound>0 && (iRound<p->n || p->n>mxRound) ){254            ^255/sqlite/src/util.c:1110:26: warning: Survived: Replaced < with <= [cxx_lt_to_le]256  if( iRound>0 && (iRound<p->n || p->n>mxRound) ){257                         ^258/sqlite/src/util.c:1110:39: warning: Survived: Replaced > with >= [cxx_gt_to_ge]259  if( iRound>0 && (iRound<p->n || p->n>mxRound) ){260                                      ^261/sqlite/src/util.c:1112:15: warning: Survived: Replaced > with >= [cxx_gt_to_ge]262    if( iRound>mxRound ) iRound = mxRound;263              ^264/sqlite/src/util.c:1118:17: warning: Survived: Replaced <= with < [cxx_le_to_lt]265        if( z[j]<='9' ) break;266                ^267/sqlite/src/util.c:1122:15: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]268          p->n++;269              ^270[info] Mutation score: 79%271[info] Total execution time: 5546ms272[info] Surviving mutants: 23273