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