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 107ms7[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 113ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/bitvec.c:146:9 ExecutionResult: Failed15
[--------------------------------] 1/9616[debug] /sqlite/src/bitvec.c:155:11 ExecutionResult: Failed17[debug] /sqlite/src/bitvec.c:121:14 ExecutionResult: Failed18
[#-------------------------------] 3/9619[debug] /sqlite/src/bitvec.c:263:10 ExecutionResult: Failed20
[#-------------------------------] 4/9621[debug] /sqlite/src/bitvec.c:186:35 ExecutionResult: Failed22
[#-------------------------------] 5/9623[debug] /sqlite/src/bitvec.c:264:37 ExecutionResult: Failed24[debug] /sqlite/src/bitvec.c:233:17 ExecutionResult: Failed25
[##------------------------------] 7/9626[debug] /sqlite/src/bitvec.c:224:17 ExecutionResult: Passed27[debug] /sqlite/src/bitvec.c:249:7 ExecutionResult: Failed28[debug] /sqlite/src/bitvec.c:211:14 ExecutionResult: Passed29
[###-----------------------------] 10/9630[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Passed31[debug] /sqlite/src/bitvec.c:144:27 ExecutionResult: Failed32[debug] /sqlite/src/bitvec.c:256:35 ExecutionResult: Failed33
[####----------------------------] 13/9634[debug] /sqlite/src/bitvec.c:221:20 ExecutionResult: Passed35
[####----------------------------] 14/9636[debug] /sqlite/src/bitvec.c:136:16 ExecutionResult: Failed37[debug] /sqlite/src/bitvec.c:271:23 ExecutionResult: Failed38
[#####---------------------------] 16/9639[debug] /sqlite/src/bitvec.c:179:24 ExecutionResult: Failed40
[#####---------------------------] 17/9641[debug] /sqlite/src/bitvec.c:148:24 ExecutionResult: Failed42
[######--------------------------] 18/9643[debug] /sqlite/src/bitvec.c:155:18 ExecutionResult: Failed44[debug] /sqlite/src/bitvec.c:222:49 ExecutionResult: Failed45
[######--------------------------] 19/9646[debug] /sqlite/src/bitvec.c:263:15 ExecutionResult: Failed47
[#######-------------------------] 21/9648[debug] /sqlite/src/bitvec.c:133:4 ExecutionResult: Failed49[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Failed50
[#######-------------------------] 23/9651[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Failed52
[########------------------------] 24/9653[debug] /sqlite/src/bitvec.c:186:40 ExecutionResult: Failed54
[########------------------------] 25/9655[debug] /sqlite/src/bitvec.c:264:41 ExecutionResult: Failed56
[########------------------------] 26/9657[debug] /sqlite/src/bitvec.c:224:32 ExecutionResult: Failed58[debug] /sqlite/src/bitvec.c:211:14 ExecutionResult: Passed59[debug] /sqlite/src/bitvec.c:249:10 ExecutionResult: Failed60
[#########-----------------------] 29/9661[debug] /sqlite/src/bitvec.c:203:22 ExecutionResult: Failed62
[##########----------------------] 30/9663[debug] /sqlite/src/bitvec.c:256:38 ExecutionResult: Failed64
[##########----------------------] 31/9665[debug] /sqlite/src/bitvec.c:144:43 ExecutionResult: Failed66[debug] /sqlite/src/bitvec.c:221:33 ExecutionResult: Passed67
[###########---------------------] 33/9668[debug] /sqlite/src/bitvec.c:181:26 ExecutionResult: Failed69[debug] /sqlite/src/bitvec.c:137:7 ExecutionResult: Failed70
[###########---------------------] 35/9671[debug] /sqlite/src/bitvec.c:281:8 ExecutionResult: Passed72
[############--------------------] 36/9673[debug] /sqlite/src/bitvec.c:149:9 ExecutionResult: Failed74
[############--------------------] 37/9675[debug] /sqlite/src/bitvec.c:172:8 ExecutionResult: Failed76
[############--------------------] 38/9677[debug] /sqlite/src/bitvec.c:244:8 ExecutionResult: Failed78[debug] /sqlite/src/bitvec.c:263:15 ExecutionResult: Passed79[debug] /sqlite/src/bitvec.c:223:10 ExecutionResult: Failed80
[#############-------------------] 41/9681[debug] /sqlite/src/bitvec.c:134:8 ExecutionResult: Passed82
[##############------------------] 42/9683[debug] /sqlite/src/bitvec.c:284:30 ExecutionResult: Passed84
[##############------------------] 43/9685[debug] /sqlite/src/bitvec.c:265:13 ExecutionResult: Failed86
[##############------------------] 44/9687[debug] /sqlite/src/bitvec.c:225:30 ExecutionResult: Passed88[debug] /sqlite/src/bitvec.c:186:45 ExecutionResult: Failed89
[###############-----------------] 46/9690[debug] /sqlite/src/bitvec.c:215:17 ExecutionResult: Failed91[debug] /sqlite/src/bitvec.c:255:15 ExecutionResult: Failed92
[################----------------] 48/9693[debug] /sqlite/src/bitvec.c:256:55 ExecutionResult: Failed94
[################----------------] 49/9695[debug] /sqlite/src/bitvec.c:144:47 ExecutionResult: Failed96[debug] /sqlite/src/bitvec.c:221:50 ExecutionResult: Passed97
[#################---------------] 51/9698[debug] /sqlite/src/bitvec.c:177:9 ExecutionResult: Failed99
[#################---------------] 52/96100[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Failed101
[#################---------------] 53/96102[debug] /sqlite/src/bitvec.c:137:10 ExecutionResult: Failed103[debug] /sqlite/src/bitvec.c:284:10 ExecutionResult: Passed104[debug] /sqlite/src/bitvec.c:149:13 ExecutionResult: Failed105
[##################--------------] 56/96106[debug] /sqlite/src/bitvec.c:175:4 ExecutionResult: Failed107[debug] /sqlite/src/bitvec.c:246:4 ExecutionResult: Failed108
[###################-------------] 58/96109[debug] /sqlite/src/bitvec.c:223:12 ExecutionResult: Failed110[debug] /sqlite/src/bitvec.c:134:8 ExecutionResult: Failed111
[####################------------] 60/96112[debug] /sqlite/src/bitvec.c:263:30 ExecutionResult: Failed113[debug] /sqlite/src/bitvec.c:285:7 ExecutionResult: Passed114
[####################------------] 62/96115[debug] /sqlite/src/bitvec.c:266:16 ExecutionResult: Passed116[debug] /sqlite/src/bitvec.c:225:33 ExecutionResult: Failed117
[#####################-----------] 64/96118[debug] /sqlite/src/bitvec.c:255:15 ExecutionResult: Failed119
[#####################-----------] 65/96120[debug] /sqlite/src/bitvec.c:256:59 ExecutionResult: Failed121
[######################----------] 66/96122[debug] /sqlite/src/bitvec.c:144:51 ExecutionResult: Failed123[debug] /sqlite/src/bitvec.c:222:22 ExecutionResult: Passed124
[######################----------] 68/96125[debug] /sqlite/src/bitvec.c:220:19 ExecutionResult: Passed126[debug] /sqlite/src/bitvec.c:189:5 ExecutionResult: Failed127
[#######################---------] 70/96128[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Failed129
[#######################---------] 71/96130[debug] /sqlite/src/bitvec.c:143:15 ExecutionResult: Failed131
[########################--------] 72/96132[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Passed133[debug] /sqlite/src/bitvec.c:248:9 ExecutionResult: Failed134
[########################--------] 74/96135[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Passed136
[#########################-------] 75/96137[debug] /sqlite/src/bitvec.c:288:3 ExecutionResult: Passed138[debug] /sqlite/src/bitvec.c:224:12 ExecutionResult: Failed139
[#########################-------] 77/96140[debug] /sqlite/src/bitvec.c:136:9 ExecutionResult: Failed141
[##########################------] 78/96142[debug] /sqlite/src/bitvec.c:256:19 ExecutionResult: Failed143[debug] /sqlite/src/bitvec.c:232:10 ExecutionResult: Passed144
[##########################------] 80/96145[debug] /sqlite/src/bitvec.c:177:16 ExecutionResult: Failed146
[###########################-----] 81/96147[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Passed148
[###########################-----] 82/96149[debug] /sqlite/src/bitvec.c:222:22 ExecutionResult: Passed150
[###########################-----] 83/96151[debug] /sqlite/src/bitvec.c:144:72 ExecutionResult: Failed152[debug] /sqlite/src/bitvec.c:262:13 ExecutionResult: Passed153
[############################----] 85/96154[debug] /sqlite/src/bitvec.c:143:15 ExecutionResult: Failed155
[############################----] 86/96156[debug] /sqlite/src/bitvec.c:186:19 ExecutionResult: Failed157
[#############################---] 87/96158[debug] /sqlite/src/bitvec.c:224:17 ExecutionResult: Failed159
[#############################---] 88/96160[debug] /sqlite/src/bitvec.c:178:7 ExecutionResult: Failed161
[#############################---] 89/96162[debug] /sqlite/src/bitvec.c:248:16 ExecutionResult: Failed163
[##############################--] 90/96164[debug] /sqlite/src/bitvec.c:178:10 ExecutionResult: Failed165
[##############################--] 91/96166[debug] /sqlite/src/bitvec.c:220:29 ExecutionResult: Failed167
[##############################--] 92/96168[debug] /sqlite/src/bitvec.c:204:6 ExecutionResult: Timedout169
[###############################-] 93/96170[debug] /sqlite/src/bitvec.c:205:10 ExecutionResult: Passed171
[###############################-] 94/96172[debug] /sqlite/src/bitvec.c:149:17 ExecutionResult: Timedout173
[###############################-] 95/96174[debug] /sqlite/src/bitvec.c:205:10 ExecutionResult: Timedout175
[################################] 96/96. Finished in 5315ms176[debug] Done running mutants177[info] Survived mutants (25/96):178/sqlite/src/bitvec.c:134:8: warning: Survived: Replaced >= with > [cxx_ge_to_gt]179 if( i>=p->iSize ) return 0;180 ^181/sqlite/src/bitvec.c:176:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]182 while((p->iSize > BITVEC_NBIT) && p->iDivisor) {183 ^184/sqlite/src/bitvec.c:194:16: warning: Survived: Replaced < with >= [cxx_lt_to_ge]185 if (p->nSet<(BITVEC_NINT-1)) {186 ^187/sqlite/src/bitvec.c:194:16: warning: Survived: Replaced < with <= [cxx_lt_to_le]188 if (p->nSet<(BITVEC_NINT-1)) {189 ^190/sqlite/src/bitvec.c:205:10: warning: Survived: Replaced >= with > [cxx_ge_to_gt]191 if( h>=BITVEC_NINT ) h = 0;192 ^193/sqlite/src/bitvec.c:211:14: warning: Survived: Replaced >= with > [cxx_ge_to_gt]194 if( p->nSet>=BITVEC_MXHASH ){195 ^196/sqlite/src/bitvec.c:211:14: warning: Survived: Replaced >= with < [cxx_ge_to_lt]197 if( p->nSet>=BITVEC_MXHASH ){198 ^199/sqlite/src/bitvec.c:220:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]200 p->iDivisor = p->iSize/BITVEC_NPTR;201 ^202/sqlite/src/bitvec.c:221:20: warning: Survived: Replaced % with / [cxx_rem_to_div]203 if( (p->iSize%BITVEC_NPTR)!=0 ) p->iDivisor++;204 ^205/sqlite/src/bitvec.c:221:33: warning: Survived: Replaced != with == [cxx_ne_to_eq]206 if( (p->iSize%BITVEC_NPTR)!=0 ) p->iDivisor++;207 ^208/sqlite/src/bitvec.c:221:50: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]209 if( (p->iSize%BITVEC_NPTR)!=0 ) p->iDivisor++;210 ^211/sqlite/src/bitvec.c:222:22: warning: Survived: Replaced < with >= [cxx_lt_to_ge]212 if( p->iDivisor<BITVEC_NBIT ) p->iDivisor = BITVEC_NBIT;213 ^214/sqlite/src/bitvec.c:222:22: warning: Survived: Replaced < with <= [cxx_lt_to_le]215 if( p->iDivisor<BITVEC_NBIT ) p->iDivisor = BITVEC_NBIT;216 ^217/sqlite/src/bitvec.c:224:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]218 for(j=0; j<BITVEC_NINT; j++){219 ^220/sqlite/src/bitvec.c:225:30: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]221 if( aiValues[j] ) rc |= sqlite3BitvecSet(p, aiValues[j]);222 ^223/sqlite/src/bitvec.c:232:10: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]224 p->nSet++;225 ^226/sqlite/src/bitvec.c:262:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]227 p->nSet = 0;228 ^229/sqlite/src/bitvec.c:263:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]230 for(j=0; j<BITVEC_NINT; j++){231 ^232/sqlite/src/bitvec.c:266:16: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]233 p->nSet++;234 ^235/sqlite/src/bitvec.c:281:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]236 if( p==0 ) return;237 ^238/sqlite/src/bitvec.c:284:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]239 for(i=0; i<BITVEC_NPTR; i++){240 ^241/sqlite/src/bitvec.c:284:15: warning: Survived: Replaced < with >= [cxx_lt_to_ge]242 for(i=0; i<BITVEC_NPTR; i++){243 ^244/sqlite/src/bitvec.c:284:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]245 for(i=0; i<BITVEC_NPTR; i++){246 ^247/sqlite/src/bitvec.c:285:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]248 sqlite3BitvecDestroy(p->u.apSub[i]);249 ^250/sqlite/src/bitvec.c:288:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]251 sqlite3_free(p);252 ^253[info] Mutation score: 73%254[info] Total execution time: 5636ms255[info] Surviving mutants: 25256