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 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 