mull-reports/mull_bitvec_sqlite3BitvecDestroy.out

[info] Using config /sqlite/mull.yml
[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.
[warning] Could not find dynamic library: libm.so.6
[warning] Could not find dynamic library: libc.so.6
[info] Warm up run (threads: 1)

       [################################] 1/1. Finished in 107ms
[info] Extracting coverage information (threads: 1)

       [################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)

       [################################] 1/1. Finished in 1ms
[info] Baseline run (threads: 1)

       [################################] 1/1. Finished in 114ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/bitvec.c:121:14 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:175:4 ExecutionResult: Passed

       [#-------------------------------] 1/27
       [##------------------------------] 2/27
[debug] /sqlite/src/bitvec.c:181:26 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:285:7 ExecutionResult: Failed

       [####----------------------------] 4/27
[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:284:10 ExecutionResult: Failed

       [#######-------------------------] 6/27
[debug] /sqlite/src/bitvec.c:189:5 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:186:45 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:186:35 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Failed

       [###########---------------------] 10/27
[debug] /sqlite/src/bitvec.c:288:3 ExecutionResult: Failed

       [#############-------------------] 11/27
[debug] /sqlite/src/bitvec.c:178:10 ExecutionResult: Passed

       [##############------------------] 12/27
[debug] /sqlite/src/bitvec.c:284:30 ExecutionResult: Passed

       [###############-----------------] 13/27
[debug] /sqlite/src/bitvec.c:186:40 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:177:16 ExecutionResult: Failed

       [#################---------------] 15/27
[debug] /sqlite/src/bitvec.c:172:8 ExecutionResult: Passed

       [##################--------------] 16/27
[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Failed

       [#####################-----------] 18/27
[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Failed

       [######################----------] 19/27
[debug] /sqlite/src/bitvec.c:281:8 ExecutionResult: Failed

       [#######################---------] 20/27
[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Passed

       [##########################------] 22/27
[debug] /sqlite/src/bitvec.c:178:7 ExecutionResult: Passed

       [###########################-----] 23/27
[debug] /sqlite/src/bitvec.c:177:9 ExecutionResult: Passed

       [############################----] 24/27
[debug] /sqlite/src/bitvec.c:179:24 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:186:19 ExecutionResult: Passed

       [##############################--] 26/27
[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Timedout

       [################################] 27/27. Finished in 2521ms
[debug] Done running mutants
[info] Survived mutants (15/27):
/sqlite/src/bitvec.c:121:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    p->iSize = iSize;
             ^
/sqlite/src/bitvec.c:172:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p==0 ) return SQLITE_OK;
       ^
/sqlite/src/bitvec.c:175:4: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]
  i--;
   ^
/sqlite/src/bitvec.c:176:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
  while((p->iSize > BITVEC_NBIT) && p->iDivisor) {
                  ^
/sqlite/src/bitvec.c:177:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
    u32 bin = i/p->iDivisor;
        ^
/sqlite/src/bitvec.c:178:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    i = i%p->iDivisor;
      ^
/sqlite/src/bitvec.c:178:10: warning: Survived: Replaced % with / [cxx_rem_to_div]
    i = i%p->iDivisor;
         ^
/sqlite/src/bitvec.c:185:15: warning: Survived: Replaced <= with > [cxx_le_to_gt]
  if( p->iSize<=BITVEC_NBIT ){
              ^
/sqlite/src/bitvec.c:186:19: warning: Survived: Replaced / with * [cxx_div_to_mul]
    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));
                  ^
/sqlite/src/bitvec.c:186:35: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]
    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));
                                  ^
/sqlite/src/bitvec.c:186:40: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]
    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));
                                       ^
/sqlite/src/bitvec.c:186:45: warning: Survived: Replaced & with | [cxx_and_to_or]
    p->u.aBitmap[i/BITVEC_SZELEM] |= 1 << (i&(BITVEC_SZELEM-1));
                                            ^
/sqlite/src/bitvec.c:189:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  h = BITVEC_HASH(i++);
    ^
/sqlite/src/bitvec.c:194:16: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
    if (p->nSet<(BITVEC_NINT-1)) {
               ^
/sqlite/src/bitvec.c:284:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]
    for(i=0; i<BITVEC_NPTR; i++){
                             ^
[info] Mutation score: 44%
[info] Total execution time: 2841ms
[info] Surviving mutants: 15