CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_pcache_sqlite3PcacheMakeClean.out218 linesDownload Raw Back to mull-reports
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 106ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/pcache.c:201:17 ExecutionResult: Failed15[debug] /sqlite/src/pcache.c:228:20 ExecutionResult: Passed16
       [#-------------------------------] 2/6017[debug] /sqlite/src/pcache.c:342:13 ExecutionResult: Passed18[debug] /sqlite/src/pcache.c:278:17 ExecutionResult: Passed19
       [##------------------------------] 4/6020[debug] /sqlite/src/pcache.c:253:10 ExecutionResult: Passed21[debug] /sqlite/src/pcache.c:346:14 ExecutionResult: Passed22
       [###-----------------------------] 6/6023[debug] /sqlite/src/pcache.c:423:24 ExecutionResult: Passed24
       [###-----------------------------] 7/6025[debug] /sqlite/src/pcache.c:597:14 ExecutionResult: Failed26[debug] /sqlite/src/pcache.c:619:12 ExecutionResult: Failed27
       [####----------------------------] 9/6028[debug] /sqlite/src/pcache.c:541:18 ExecutionResult: Passed29[debug] /sqlite/src/pcache.c:602:7 ExecutionResult: Failed30
       [#####---------------------------] 11/6031[debug] /sqlite/src/pcache.c:556:7 ExecutionResult: Passed32[debug] /sqlite/src/pcache.c:554:8 ExecutionResult: Failed33
       [######--------------------------] 13/6034[debug] /sqlite/src/pcache.c:368:50 ExecutionResult: Passed35[debug] /sqlite/src/pcache.c:713:13 ExecutionResult: Passed36[debug] /sqlite/src/pcache.c:751:17 ExecutionResult: Passed37[debug] /sqlite/src/pcache.c:352:10 ExecutionResult: Failed38
       [#########-----------------------] 17/6039[debug] /sqlite/src/pcache.c:232:17 ExecutionResult: Failed40[debug] /sqlite/src/pcache.c:206:19 ExecutionResult: Passed41
       [##########----------------------] 19/6042[debug] /sqlite/src/pcache.c:808:13 ExecutionResult: Failed43[debug] /sqlite/src/pcache.c:343:14 ExecutionResult: Passed44
       [###########---------------------] 21/6045[debug] /sqlite/src/pcache.c:792:15 ExecutionResult: Failed46[debug] /sqlite/src/pcache.c:349:14 ExecutionResult: Passed47
       [############--------------------] 23/6048[debug] /sqlite/src/pcache.c:253:25 ExecutionResult: Passed49[debug] /sqlite/src/pcache.c:763:13 ExecutionResult: Failed50
       [#############-------------------] 25/6051[debug] /sqlite/src/pcache.c:517:16 ExecutionResult: Failed52[debug] /sqlite/src/pcache.c:622:14 ExecutionResult: Passed53[debug] /sqlite/src/pcache.c:598:18 ExecutionResult: Passed54
       [##############------------------] 28/6055[debug] /sqlite/src/pcache.c:542:15 ExecutionResult: Failed56
       [###############-----------------] 29/6057[debug] /sqlite/src/pcache.c:617:3 ExecutionResult: Failed58[debug] /sqlite/src/pcache.c:558:7 ExecutionResult: Passed59
       [################----------------] 31/6060[debug] /sqlite/src/pcache.c:554:18 ExecutionResult: Passed61[debug] /sqlite/src/pcache.c:373:20 ExecutionResult: Passed62
       [#################---------------] 33/6063[debug] /sqlite/src/pcache.c:722:63 ExecutionResult: Passed64[debug] /sqlite/src/pcache.c:364:41 ExecutionResult: Passed65[debug] /sqlite/src/pcache.c:751:17 ExecutionResult: Passed66
       [###################-------------] 36/6067[debug] /sqlite/src/pcache.c:300:40 ExecutionResult: Failed68
       [###################-------------] 37/6069[debug] /sqlite/src/pcache.c:242:20 ExecutionResult: Passed70
       [####################------------] 38/6071[debug] /sqlite/src/pcache.c:226:20 ExecutionResult: Passed72
       [####################------------] 39/6073[debug] /sqlite/src/pcache.c:345:17 ExecutionResult: Passed74
       [#####################-----------] 40/6075[debug] /sqlite/src/pcache.c:350:14 ExecutionResult: Passed76[debug] /sqlite/src/pcache.c:808:8 ExecutionResult: Failed77
       [######################----------] 42/6078[debug] /sqlite/src/pcache.c:791:10 ExecutionResult: Failed79[debug] /sqlite/src/pcache.c:518:17 ExecutionResult: Failed80[debug] /sqlite/src/pcache.c:278:17 ExecutionResult: Passed81
       [########################--------] 45/6082[debug] /sqlite/src/pcache.c:623:5 ExecutionResult: Passed83
       [########################--------] 46/6084[debug] /sqlite/src/pcache.c:599:16 ExecutionResult: Passed85[debug] /sqlite/src/pcache.c:618:12 ExecutionResult: Failed86
       [#########################-------] 48/6087[debug] /sqlite/src/pcache.c:553:21 ExecutionResult: Passed88[debug] /sqlite/src/pcache.c:367:13 ExecutionResult: Failed89
       [##########################------] 50/6090[debug] /sqlite/src/pcache.c:555:17 ExecutionResult: Passed91[debug] /sqlite/src/pcache.c:423:11 ExecutionResult: Passed92[debug] /sqlite/src/pcache.c:596:16 ExecutionResult: Passed93
       [############################----] 53/6094[debug] /sqlite/src/pcache.c:739:3 ExecutionResult: Passed95
       [############################----] 54/6096[debug] /sqlite/src/pcache.c:808:13 ExecutionResult: Failed97
       [#############################---] 55/6098[debug] /sqlite/src/pcache.c:755:13 ExecutionResult: Failed99
       [#############################---] 56/60100[debug] /sqlite/src/pcache.c:304:5 ExecutionResult: Failed101
       [##############################--] 57/60102[debug] /sqlite/src/pcache.c:808:30 ExecutionResult: Timedout103
       [##############################--] 58/60104[debug] /sqlite/src/pcache.c:791:42 ExecutionResult: Timedout105
       [###############################-] 59/60106[debug] /sqlite/src/pcache.c:809:13 ExecutionResult: Failed107
       [################################] 60/60. Finished in 2922ms108[debug] Done running mutants109[info] Survived mutants (35/60):110/sqlite/src/pcache.c:206:19: warning: Survived: Replaced == with != [cxx_eq_to_ne]111    if( p->pSynced==pPage ){112                  ^113/sqlite/src/pcache.c:226:20: warning: Survived: Replaced == with != [cxx_eq_to_ne]114      if( p->pDirty==0 ){         /*OPTIMIZATION-IF-TRUE*/115                   ^116/sqlite/src/pcache.c:228:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]117        p->eCreate = 2;118                   ^119/sqlite/src/pcache.c:242:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]120        p->eCreate = 1;121                   ^122/sqlite/src/pcache.c:253:10: warning: Survived: Replaced == with != [cxx_eq_to_ne]123     && 0==(pPage->flags&PGHDR_NEED_SYNC)   /*OPTIMIZATION-IF-FALSE*/124         ^125/sqlite/src/pcache.c:253:25: warning: Survived: Replaced & with | [cxx_and_to_or]126     && 0==(pPage->flags&PGHDR_NEED_SYNC)   /*OPTIMIZATION-IF-FALSE*/127                        ^128/sqlite/src/pcache.c:278:17: warning: Survived: Replaced >= with > [cxx_ge_to_gt]129  if( p->szCache>=0 ){130                ^131/sqlite/src/pcache.c:278:17: warning: Survived: Replaced >= with < [cxx_ge_to_lt]132  if( p->szCache>=0 ){133                ^134/sqlite/src/pcache.c:342:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]135  p->szPage = 1;136            ^137/sqlite/src/pcache.c:343:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]138  p->szExtra = szExtra;139             ^140/sqlite/src/pcache.c:345:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]141  p->bPurgeable = bPurgeable;142                ^143/sqlite/src/pcache.c:346:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]144  p->eCreate = 2;145             ^146/sqlite/src/pcache.c:349:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]147  p->szCache = 100;148             ^149/sqlite/src/pcache.c:350:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]150  p->szSpill = 1;151             ^152/sqlite/src/pcache.c:364:41: warning: Survived: Replaced + with - [cxx_add_to_sub]153                szPage, pCache->szExtra + ROUND8(sizeof(PgHdr)),154                                        ^155/sqlite/src/pcache.c:368:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]156    sqlite3GlobalConfig.pcache2.xCachesize(pNew, numberOfCachePages(pCache));157                                                 ^158/sqlite/src/pcache.c:373:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]159    pCache->szPage = szPage;160                   ^161/sqlite/src/pcache.c:423:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]162  eCreate = createFlag & pCache->eCreate;163          ^164/sqlite/src/pcache.c:423:24: warning: Survived: Replaced & with | [cxx_and_to_or]165  eCreate = createFlag & pCache->eCreate;166                       ^167/sqlite/src/pcache.c:541:18: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]168  pCache->nRefSum++;169                 ^170/sqlite/src/pcache.c:553:21: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]171  p->pCache->nRefSum--;172                    ^173/sqlite/src/pcache.c:554:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]174  if( (--p->nRef)==0 ){175                 ^176/sqlite/src/pcache.c:555:17: warning: Survived: Replaced & with | [cxx_and_to_or]177    if( p->flags&PGHDR_CLEAN ){178                ^179/sqlite/src/pcache.c:556:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]180      pcacheUnpin(p);181      ^182/sqlite/src/pcache.c:558:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]183      pcacheManageDirtyList(p, PCACHE_DIRTYLIST_FRONT);184      ^185/sqlite/src/pcache.c:596:16: warning: Survived: Replaced & with | [cxx_and_to_or]186  if( p->flags & (PGHDR_CLEAN|PGHDR_DONT_WRITE) ){    /*OPTIMIZATION-IF-FALSE*/187               ^188/sqlite/src/pcache.c:598:18: warning: Survived: Replaced & with | [cxx_and_to_or]189    if( p->flags & PGHDR_CLEAN ){190                 ^191/sqlite/src/pcache.c:599:16: warning: Survived: Replaced ^= with |= [cxx_xor_assign_to_or_assign]192      p->flags ^= (PGHDR_DIRTY|PGHDR_CLEAN);193               ^194/sqlite/src/pcache.c:622:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]195  if( p->nRef==0 ){196             ^197/sqlite/src/pcache.c:623:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]198    pcacheUnpin(p);199    ^200/sqlite/src/pcache.c:713:13: warning: Survived: Replaced == with != [cxx_eq_to_ne]201    if( pgno==0 && pCache->nRefSum ){202            ^203/sqlite/src/pcache.c:722:63: warning: Survived: Replaced + with - [cxx_add_to_sub]204    sqlite3GlobalConfig.pcache2.xTruncate(pCache->pCache, pgno+1);205                                                              ^206/sqlite/src/pcache.c:739:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]207  sqlite3PcacheTruncate(pCache, 0);208  ^209/sqlite/src/pcache.c:751:17: warning: Survived: Replaced < with >= [cxx_lt_to_ge]210    if( pA->pgno<pB->pgno ){211                ^212/sqlite/src/pcache.c:751:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]213    if( pA->pgno<pB->pgno ){214                ^215[info] Mutation score: 41%216[info] Total execution time: 3236ms217[info] Surviving mutants: 35218