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 104ms7[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 112ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/main.c:242:9 ExecutionResult: Passed15
       [--------------------------------] 1/4716[debug] /sqlite/src/main.c:215:5 ExecutionResult: Passed17[debug] /sqlite/src/main.c:277:3 ExecutionResult: Passed18[debug] /sqlite/src/main.c:237:3 ExecutionResult: Passed19
       [##------------------------------] 4/4720[debug] /sqlite/src/main.c:253:38 ExecutionResult: Passed21
       [###-----------------------------] 5/4722[debug] /sqlite/src/main.c:279:36 ExecutionResult: Passed23
       [####----------------------------] 6/4724[debug] /sqlite/src/main.c:292:40 ExecutionResult: Passed25[debug] /sqlite/src/main.c:325:36 ExecutionResult: Passed26[debug] /sqlite/src/main.c:289:10 ExecutionResult: Failed27
       [######--------------------------] 9/4728[debug] /sqlite/src/main.c:326:40 ExecutionResult: Passed29[debug] /sqlite/src/main.c:300:11 ExecutionResult: Passed30
       [#######-------------------------] 11/4731[debug] /sqlite/src/main.c:4118:6 ExecutionResult: Failed32[debug] /sqlite/src/main.c:310:11 ExecutionResult: Passed33[debug] /sqlite/src/main.c:297:10 ExecutionResult: Failed34
       [#########-----------------------] 14/4735[debug] /sqlite/src/main.c:4118:32 ExecutionResult: Failed36[debug] /sqlite/src/main.c:319:3 ExecutionResult: Passed37[debug] /sqlite/src/main.c:293:12 ExecutionResult: Failed38[debug] /sqlite/src/main.c:312:34 ExecutionResult: Passed39
       [############--------------------] 18/4740[debug] /sqlite/src/main.c:243:38 ExecutionResult: Passed41
       [############--------------------] 19/4742[debug] /sqlite/src/main.c:227:6 ExecutionResult: Failed43[debug] /sqlite/src/main.c:278:33 ExecutionResult: Failed44
       [##############------------------] 21/4745[debug] /sqlite/src/main.c:240:8 ExecutionResult: Failed46
       [##############------------------] 22/4747[debug] /sqlite/src/main.c:4118:45 ExecutionResult: Failed48
       [###############-----------------] 23/4749[debug] /sqlite/src/main.c:287:5 ExecutionResult: Passed50[debug] /sqlite/src/main.c:328:5 ExecutionResult: Passed51
       [#################---------------] 25/4752[debug] /sqlite/src/main.c:293:10 ExecutionResult: Failed53[debug] /sqlite/src/main.c:289:12 ExecutionResult: Failed54
       [##################--------------] 27/4755[debug] /sqlite/src/main.c:301:7 ExecutionResult: Passed56[debug] /sqlite/src/main.c:326:40 ExecutionResult: Passed57
       [###################-------------] 29/4758[debug] /sqlite/src/main.c:4118:9 ExecutionResult: Failed59[debug] /sqlite/src/main.c:296:11 ExecutionResult: Passed60[debug] /sqlite/src/main.c:4118:32 ExecutionResult: Passed61
       [#####################-----------] 32/4762[debug] /sqlite/src/main.c:311:7 ExecutionResult: Passed63[debug] /sqlite/src/main.c:317:36 ExecutionResult: Passed64[debug] /sqlite/src/main.c:297:12 ExecutionResult: Failed65[debug] /sqlite/src/main.c:324:3 ExecutionResult: Passed66
       [########################--------] 36/4767[debug] /sqlite/src/main.c:278:70 ExecutionResult: Failed68
       [#########################-------] 37/4769[debug] /sqlite/src/main.c:240:10 ExecutionResult: Failed70[debug] /sqlite/src/main.c:252:9 ExecutionResult: Passed71
       [##########################------] 39/4772[debug] /sqlite/src/main.c:4118:49 ExecutionResult: Failed73[debug] /sqlite/src/main.c:227:8 ExecutionResult: Failed74
       [###########################-----] 41/4775[debug] /sqlite/src/main.c:288:41 ExecutionResult: Passed76[debug] /sqlite/src/main.c:291:11 ExecutionResult: Failed77
       [#############################---] 43/4778[debug] /sqlite/src/main.c:331:3 ExecutionResult: Timedout79
       [#############################---] 44/4780[debug] /sqlite/src/main.c:4113:11 ExecutionResult: Failed81
       [##############################--] 45/4782[debug] /sqlite/src/main.c:255:3 ExecutionResult: Timedout83
       [###############################-] 46/4784[debug] /sqlite/src/main.c:260:9 ExecutionResult: Failed85
       [################################] 47/47. Finished in 2697ms86[debug] Done running mutants87[info] Survived mutants (25/47):88/sqlite/src/main.c:215:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]89    sqlite3MemoryBarrier();90    ^91/sqlite/src/main.c:237:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]92  sqlite3_mutex_enter(pMainMtx);93  ^94/sqlite/src/main.c:242:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]95  if( rc==SQLITE_OK ){96        ^97/sqlite/src/main.c:243:38: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]98    sqlite3GlobalConfig.isMallocInit = 1;99                                     ^100/sqlite/src/main.c:252:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]101  if( rc==SQLITE_OK ){102        ^103/sqlite/src/main.c:253:38: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]104    sqlite3GlobalConfig.nRefInitMutex++;105                                     ^106/sqlite/src/main.c:277:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]107  sqlite3_mutex_enter(sqlite3GlobalConfig.pInitMutex);108  ^109/sqlite/src/main.c:279:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]110    sqlite3GlobalConfig.inProgress = 1;111                                   ^112/sqlite/src/main.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]113    sqlite3RegisterBuiltinFunctions();114    ^115/sqlite/src/main.c:288:41: warning: Survived: Replaced == with != [cxx_eq_to_ne]116    if( sqlite3GlobalConfig.isPCacheInit==0 ){117                                        ^118/sqlite/src/main.c:292:40: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]119      sqlite3GlobalConfig.isPCacheInit = 1;120                                       ^121/sqlite/src/main.c:296:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]122    if( rc==SQLITE_OK ){123          ^124/sqlite/src/main.c:300:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]125    if( rc==SQLITE_OK ){126          ^127/sqlite/src/main.c:301:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]128      sqlite3PCacheBufferSetup( sqlite3GlobalConfig.pPage,129      ^130/sqlite/src/main.c:310:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]131    if( rc==SQLITE_OK ){132          ^133/sqlite/src/main.c:311:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]134      sqlite3MemoryBarrier();135      ^136/sqlite/src/main.c:312:34: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]137      sqlite3GlobalConfig.isInit = 1;138                                 ^139/sqlite/src/main.c:317:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]140    sqlite3GlobalConfig.inProgress = 0;141                                   ^142/sqlite/src/main.c:319:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]143  sqlite3_mutex_leave(sqlite3GlobalConfig.pInitMutex);144  ^145/sqlite/src/main.c:324:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]146  sqlite3_mutex_enter(pMainMtx);147  ^148/sqlite/src/main.c:325:36: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]149  sqlite3GlobalConfig.nRefInitMutex--;150                                   ^151/sqlite/src/main.c:326:40: warning: Survived: Replaced <= with > [cxx_le_to_gt]152  if( sqlite3GlobalConfig.nRefInitMutex<=0 ){153                                       ^154/sqlite/src/main.c:326:40: warning: Survived: Replaced <= with < [cxx_le_to_lt]155  if( sqlite3GlobalConfig.nRefInitMutex<=0 ){156                                       ^157/sqlite/src/main.c:328:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]158    sqlite3_mutex_free(sqlite3GlobalConfig.pInitMutex);159    ^160/sqlite/src/main.c:4118:32: warning: Survived: Replaced < with <= [cxx_lt_to_le]161  rc = (sqlite3OsSleep(pVfs, ms<0 ? 0 : 1000*ms)/1000);162                               ^163[info] Mutation score: 46%164[info] Total execution time: 3016ms165[info] Surviving mutants: 25166