mull-reports/mull_bitvec_sqlite3BitvecClear.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 113ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/bitvec.c:146:9 ExecutionResult: Failed

       [--------------------------------] 1/96
[debug] /sqlite/src/bitvec.c:155:11 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:121:14 ExecutionResult: Failed

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

       [#-------------------------------] 4/96
[debug] /sqlite/src/bitvec.c:186:35 ExecutionResult: Failed

       [#-------------------------------] 5/96
[debug] /sqlite/src/bitvec.c:264:37 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:233:17 ExecutionResult: Failed

       [##------------------------------] 7/96
[debug] /sqlite/src/bitvec.c:224:17 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:249:7 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:211:14 ExecutionResult: Passed

       [###-----------------------------] 10/96
[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:144:27 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:256:35 ExecutionResult: Failed

       [####----------------------------] 13/96
[debug] /sqlite/src/bitvec.c:221:20 ExecutionResult: Passed

       [####----------------------------] 14/96
[debug] /sqlite/src/bitvec.c:136:16 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:271:23 ExecutionResult: Failed

       [#####---------------------------] 16/96
[debug] /sqlite/src/bitvec.c:179:24 ExecutionResult: Failed

       [#####---------------------------] 17/96
[debug] /sqlite/src/bitvec.c:148:24 ExecutionResult: Failed

       [######--------------------------] 18/96
[debug] /sqlite/src/bitvec.c:155:18 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:222:49 ExecutionResult: Failed

       [######--------------------------] 19/96
[debug] /sqlite/src/bitvec.c:263:15 ExecutionResult: Failed

       [#######-------------------------] 21/96
[debug] /sqlite/src/bitvec.c:133:4 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Failed

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

       [########------------------------] 24/96
[debug] /sqlite/src/bitvec.c:186:40 ExecutionResult: Failed

       [########------------------------] 25/96
[debug] /sqlite/src/bitvec.c:264:41 ExecutionResult: Failed

       [########------------------------] 26/96
[debug] /sqlite/src/bitvec.c:224:32 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:211:14 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:249:10 ExecutionResult: Failed

       [#########-----------------------] 29/96
[debug] /sqlite/src/bitvec.c:203:22 ExecutionResult: Failed

       [##########----------------------] 30/96
[debug] /sqlite/src/bitvec.c:256:38 ExecutionResult: Failed

       [##########----------------------] 31/96
[debug] /sqlite/src/bitvec.c:144:43 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:221:33 ExecutionResult: Passed

       [###########---------------------] 33/96
[debug] /sqlite/src/bitvec.c:181:26 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:137:7 ExecutionResult: Failed

       [###########---------------------] 35/96
[debug] /sqlite/src/bitvec.c:281:8 ExecutionResult: Passed

       [############--------------------] 36/96
[debug] /sqlite/src/bitvec.c:149:9 ExecutionResult: Failed

       [############--------------------] 37/96
[debug] /sqlite/src/bitvec.c:172:8 ExecutionResult: Failed

       [############--------------------] 38/96
[debug] /sqlite/src/bitvec.c:244:8 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:263:15 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:223:10 ExecutionResult: Failed

       [#############-------------------] 41/96
[debug] /sqlite/src/bitvec.c:134:8 ExecutionResult: Passed

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

       [##############------------------] 43/96
[debug] /sqlite/src/bitvec.c:265:13 ExecutionResult: Failed

       [##############------------------] 44/96
[debug] /sqlite/src/bitvec.c:225:30 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:186:45 ExecutionResult: Failed

       [###############-----------------] 46/96
[debug] /sqlite/src/bitvec.c:215:17 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:255:15 ExecutionResult: Failed

       [################----------------] 48/96
[debug] /sqlite/src/bitvec.c:256:55 ExecutionResult: Failed

       [################----------------] 49/96
[debug] /sqlite/src/bitvec.c:144:47 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:221:50 ExecutionResult: Passed

       [#################---------------] 51/96
[debug] /sqlite/src/bitvec.c:177:9 ExecutionResult: Failed

       [#################---------------] 52/96
[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Failed

       [#################---------------] 53/96
[debug] /sqlite/src/bitvec.c:137:10 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:284:10 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:149:13 ExecutionResult: Failed

       [##################--------------] 56/96
[debug] /sqlite/src/bitvec.c:175:4 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:246:4 ExecutionResult: Failed

       [###################-------------] 58/96
[debug] /sqlite/src/bitvec.c:223:12 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:134:8 ExecutionResult: Failed

       [####################------------] 60/96
[debug] /sqlite/src/bitvec.c:263:30 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:285:7 ExecutionResult: Passed

       [####################------------] 62/96
[debug] /sqlite/src/bitvec.c:266:16 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:225:33 ExecutionResult: Failed

       [#####################-----------] 64/96
[debug] /sqlite/src/bitvec.c:255:15 ExecutionResult: Failed

       [#####################-----------] 65/96
[debug] /sqlite/src/bitvec.c:256:59 ExecutionResult: Failed

       [######################----------] 66/96
[debug] /sqlite/src/bitvec.c:144:51 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:222:22 ExecutionResult: Passed

       [######################----------] 68/96
[debug] /sqlite/src/bitvec.c:220:19 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:189:5 ExecutionResult: Failed

       [#######################---------] 70/96
[debug] /sqlite/src/bitvec.c:185:15 ExecutionResult: Failed

       [#######################---------] 71/96
[debug] /sqlite/src/bitvec.c:143:15 ExecutionResult: Failed

       [########################--------] 72/96
[debug] /sqlite/src/bitvec.c:284:15 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:248:9 ExecutionResult: Failed

       [########################--------] 74/96
[debug] /sqlite/src/bitvec.c:176:19 ExecutionResult: Passed

       [#########################-------] 75/96
[debug] /sqlite/src/bitvec.c:288:3 ExecutionResult: Passed
[debug] /sqlite/src/bitvec.c:224:12 ExecutionResult: Failed

       [#########################-------] 77/96
[debug] /sqlite/src/bitvec.c:136:9 ExecutionResult: Failed

       [##########################------] 78/96
[debug] /sqlite/src/bitvec.c:256:19 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:232:10 ExecutionResult: Passed

       [##########################------] 80/96
[debug] /sqlite/src/bitvec.c:177:16 ExecutionResult: Failed

       [###########################-----] 81/96
[debug] /sqlite/src/bitvec.c:194:16 ExecutionResult: Passed

       [###########################-----] 82/96
[debug] /sqlite/src/bitvec.c:222:22 ExecutionResult: Passed

       [###########################-----] 83/96
[debug] /sqlite/src/bitvec.c:144:72 ExecutionResult: Failed
[debug] /sqlite/src/bitvec.c:262:13 ExecutionResult: Passed

       [############################----] 85/96
[debug] /sqlite/src/bitvec.c:143:15 ExecutionResult: Failed

       [############################----] 86/96
[debug] /sqlite/src/bitvec.c:186:19 ExecutionResult: Failed

       [#############################---] 87/96
[debug] /sqlite/src/bitvec.c:224:17 ExecutionResult: Failed

       [#############################---] 88/96
[debug] /sqlite/src/bitvec.c:178:7 ExecutionResult: Failed

       [#############################---] 89/96
[debug] /sqlite/src/bitvec.c:248:16 ExecutionResult: Failed

       [##############################--] 90/96
[debug] /sqlite/src/bitvec.c:178:10 ExecutionResult: Failed

       [##############################--] 91/96
[debug] /sqlite/src/bitvec.c:220:29 ExecutionResult: Failed

       [##############################--] 92/96
[debug] /sqlite/src/bitvec.c:204:6 ExecutionResult: Timedout

       [###############################-] 93/96
[debug] /sqlite/src/bitvec.c:205:10 ExecutionResult: Passed

       [###############################-] 94/96
[debug] /sqlite/src/bitvec.c:149:17 ExecutionResult: Timedout

       [###############################-] 95/96
[debug] /sqlite/src/bitvec.c:205:10 ExecutionResult: Timedout

       [################################] 96/96. Finished in 5315ms
[debug] Done running mutants
[info] Survived mutants (25/96):
/sqlite/src/bitvec.c:134:8: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
  if( i>=p->iSize ) return 0;
       ^
/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:194:16: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
    if (p->nSet<(BITVEC_NINT-1)) {
               ^
/sqlite/src/bitvec.c:194:16: warning: Survived: Replaced < with <= [cxx_lt_to_le]
    if (p->nSet<(BITVEC_NINT-1)) {
               ^
/sqlite/src/bitvec.c:205:10: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
    if( h>=BITVEC_NINT ) h = 0;
         ^
/sqlite/src/bitvec.c:211:14: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
  if( p->nSet>=BITVEC_MXHASH ){
             ^
/sqlite/src/bitvec.c:211:14: warning: Survived: Replaced >= with < [cxx_ge_to_lt]
  if( p->nSet>=BITVEC_MXHASH ){
             ^
/sqlite/src/bitvec.c:220:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      p->iDivisor = p->iSize/BITVEC_NPTR;
                  ^
/sqlite/src/bitvec.c:221:20: warning: Survived: Replaced % with / [cxx_rem_to_div]
      if( (p->iSize%BITVEC_NPTR)!=0 ) p->iDivisor++;
                   ^
/sqlite/src/bitvec.c:221:33: warning: Survived: Replaced != with == [cxx_ne_to_eq]
      if( (p->iSize%BITVEC_NPTR)!=0 ) p->iDivisor++;
                                ^
/sqlite/src/bitvec.c:221:50: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]
      if( (p->iSize%BITVEC_NPTR)!=0 ) p->iDivisor++;
                                                 ^
/sqlite/src/bitvec.c:222:22: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
      if( p->iDivisor<BITVEC_NBIT ) p->iDivisor = BITVEC_NBIT;
                     ^
/sqlite/src/bitvec.c:222:22: warning: Survived: Replaced < with <= [cxx_lt_to_le]
      if( p->iDivisor<BITVEC_NBIT ) p->iDivisor = BITVEC_NBIT;
                     ^
/sqlite/src/bitvec.c:224:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]
      for(j=0; j<BITVEC_NINT; j++){
                ^
/sqlite/src/bitvec.c:225:30: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]
        if( aiValues[j] ) rc |= sqlite3BitvecSet(p, aiValues[j]);
                             ^
/sqlite/src/bitvec.c:232:10: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]
  p->nSet++;
         ^
/sqlite/src/bitvec.c:262:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    p->nSet = 0;
            ^
/sqlite/src/bitvec.c:263:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]
    for(j=0; j<BITVEC_NINT; j++){
              ^
/sqlite/src/bitvec.c:266:16: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]
        p->nSet++;
               ^
/sqlite/src/bitvec.c:281:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p==0 ) return;
       ^
/sqlite/src/bitvec.c:284:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    for(i=0; i<BITVEC_NPTR; i++){
         ^
/sqlite/src/bitvec.c:284:15: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
    for(i=0; i<BITVEC_NPTR; i++){
              ^
/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++){
                             ^
/sqlite/src/bitvec.c:285:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]
      sqlite3BitvecDestroy(p->u.apSub[i]);
      ^
/sqlite/src/bitvec.c:288:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3_free(p);
  ^
[info] Mutation score: 73%
[info] Total execution time: 5636ms
[info] Surviving mutants: 25