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