AryaWu/sqlite

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 114ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/bitvec.c:121:14 ExecutionResult: Passed15[debug] /sqlite/src/bitvec.c:175:4 ExecutionResult: Passed16
       [#-------------------------------] 1/27
       [##------------------------------] 2/2717[debug] /sqlite/src/bitvec.c:181:26 ExecutionResult: Failed18[debug] /sqlite/src/bitvec.c:285:7 ExecutionResult: Failed19
       [####----------------------------] 4/2720[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Passed21[debug] /sqlite/src/bitvec.c:284:10 ExecutionResult: Failed22
       [#######-------------------------] 6/2723[debug] /sqlite/src/bitvec.c:189:5 ExecutionResult: Passed24[debug] /sqlite/src/bitvec.c:186:45 ExecutionResult: Passed25[debug] /sqlite/src/bitvec.c:186:35 ExecutionResult: Passed26[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Failed27
       [###########---------------------] 10/2728[debug] /sqlite/src/bitvec.c:288:3 ExecutionResult: Failed29
       [#############-------------------] 11/2730[debug] /sqlite/src/bitvec.c:178:10 ExecutionResult: Passed31
       [##############------------------] 12/2732[debug] /sqlite/src/bitvec.c:284:30 ExecutionResult: Passed33
       [###############-----------------] 13/2734[debug] /sqlite/src/bitvec.c:186:40 ExecutionResult: Passed35[debug] /sqlite/src/bitvec.c:177:16 ExecutionResult: Failed36
       [#################---------------] 15/2737[debug] /sqlite/src/bitvec.c:172:8 ExecutionResult: Passed38
       [##################--------------] 16/2739[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Passed40[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Failed41
       [#####################-----------] 18/2742[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Failed43
       [######################----------] 19/2744[debug] /sqlite/src/bitvec.c:281:8 ExecutionResult: Failed45
       [#######################---------] 20/2746[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Failed47[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Passed48
       [##########################------] 22/2749[debug] /sqlite/src/bitvec.c:178:7 ExecutionResult: Passed50
       [###########################-----] 23/2751[debug] /sqlite/src/bitvec.c:177:9 ExecutionResult: Passed52
       [############################----] 24/2753[debug] /sqlite/src/bitvec.c:179:24 ExecutionResult: Failed54[debug] /sqlite/src/bitvec.c:186:19 ExecutionResult: Passed55
       [##############################--] 26/2756[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Timedout57
       [################################] 27/27. Finished in 2521ms58[debug] Done running mutants59[info] Survived mutants (15/27):60/sqlite/src/bitvec.c:121:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]61    p->iSize = iSize;62             ^63/sqlite/src/bitvec.c:172:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]64  if( p==0 ) return SQLITE_OK;65       ^66/sqlite/src/bitvec.c:175:4: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]67  i--;68   ^69/sqlite/src/bitvec.c:176:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]70  while((p->iSize > BITVEC_NBIT) && p->iDivisor) {71                  ^72/sqlite/src/bitvec.c:177:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]73    u32 bin = i/p->iDivisor;74        ^75/sqlite/src/bitvec.c:178:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]76    i = i%p->iDivisor;77      ^78/sqlite/src/bitvec.c:178:10: warning: Survived: Replaced % with / [cxx_rem_to_div]79    i = i%p->iDivisor;80         ^81/sqlite/src/bitvec.c:185:15: warning: Survived: Replaced <= with > [cxx_le_to_gt]82  if( p->iSize<=BITVEC_NBIT ){83              ^84/sqlite/src/bitvec.c:186:19: warning: Survived: Replaced / with * [cxx_div_to_mul]85    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));86                  ^87/sqlite/src/bitvec.c:186:35: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]88    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));89                                  ^90/sqlite/src/bitvec.c:186:40: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]91    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));92                                       ^93/sqlite/src/bitvec.c:186:45: warning: Survived: Replaced & with | [cxx_and_to_or]94    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));95                                            ^96/sqlite/src/bitvec.c:189:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]97  h = BITVEC_HASH(i++);98    ^99/sqlite/src/bitvec.c:194:16: warning: Survived: Replaced < with >= [cxx_lt_to_ge]100    if (p->nSet<(BITVEC_NINT-1)) {101               ^102/sqlite/src/bitvec.c:284:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]103    for(i=0; i<BITVEC_NPTR; i++){104                             ^105[info] Mutation score: 44%106[info] Total execution time: 2841ms107[info] Surviving mutants: 15108