CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_pcache_sqlite3PcacheMove.out217 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 107ms7[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 112ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/pcache.c:278:17 ExecutionResult: Passed15[debug] /sqlite/src/pcache.c:228:20 ExecutionResult: Passed16
       [#-------------------------------] 2/5217[debug] /sqlite/src/pcache.c:342:13 ExecutionResult: Passed18[debug] /sqlite/src/pcache.c:201:17 ExecutionResult: Passed19
       [##------------------------------] 4/5220[debug] /sqlite/src/pcache.c:622:14 ExecutionResult: Passed21[debug] /sqlite/src/pcache.c:346:14 ExecutionResult: Passed22[debug] /sqlite/src/pcache.c:253:10 ExecutionResult: Passed23
       [####----------------------------] 7/5224[debug] /sqlite/src/pcache.c:556:7 ExecutionResult: Passed25[debug] /sqlite/src/pcache.c:352:10 ExecutionResult: Failed26
       [#####---------------------------] 9/5227[debug] /sqlite/src/pcache.c:681:42 ExecutionResult: Passed28[debug] /sqlite/src/pcache.c:541:18 ExecutionResult: Passed29[debug] /sqlite/src/pcache.c:680:11 ExecutionResult: Failed30
       [#######-------------------------] 12/5231[debug] /sqlite/src/pcache.c:602:7 ExecutionResult: Passed32[debug] /sqlite/src/pcache.c:676:20 ExecutionResult: Passed33[debug] /sqlite/src/pcache.c:618:12 ExecutionResult: Passed34[debug] /sqlite/src/pcache.c:423:24 ExecutionResult: Failed35
       [#########-----------------------] 16/5236[debug] /sqlite/src/pcache.c:598:18 ExecutionResult: Passed37[debug] /sqlite/src/pcache.c:596:16 ExecutionResult: Passed38[debug] /sqlite/src/pcache.c:368:50 ExecutionResult: Passed39[debug] /sqlite/src/pcache.c:554:8 ExecutionResult: Passed40
       [############--------------------] 20/5241[debug] /sqlite/src/pcache.c:232:17 ExecutionResult: Passed42[debug] /sqlite/src/pcache.c:343:14 ExecutionResult: Passed43
       [#############-------------------] 22/5244[debug] /sqlite/src/pcache.c:206:19 ExecutionResult: Passed45
       [##############------------------] 23/5246[debug] /sqlite/src/pcache.c:349:14 ExecutionResult: Passed47[debug] /sqlite/src/pcache.c:675:17 ExecutionResult: Passed48[debug] /sqlite/src/pcache.c:253:25 ExecutionResult: Passed49
       [################----------------] 26/5250[debug] /sqlite/src/pcache.c:582:15 ExecutionResult: Passed51[debug] /sqlite/src/pcache.c:682:5 ExecutionResult: Passed52
       [################----------------] 27/5253[debug] /sqlite/src/pcache.c:542:15 ExecutionResult: Passed54[debug] /sqlite/src/pcache.c:681:16 ExecutionResult: Passed55[debug] /sqlite/src/pcache.c:617:3 ExecutionResult: Passed56
       [###################-------------] 31/5257[debug] /sqlite/src/pcache.c:677:5 ExecutionResult: Failed58[debug] /sqlite/src/pcache.c:619:12 ExecutionResult: Passed59[debug] /sqlite/src/pcache.c:517:16 ExecutionResult: Failed60
       [####################------------] 34/5261[debug] /sqlite/src/pcache.c:599:16 ExecutionResult: Passed62[debug] /sqlite/src/pcache.c:597:14 ExecutionResult: Failed63[debug] /sqlite/src/pcache.c:373:20 ExecutionResult: Passed64[debug] /sqlite/src/pcache.c:554:18 ExecutionResult: Passed65
       [#######################---------] 38/5266[debug] /sqlite/src/pcache.c:300:40 ExecutionResult: Failed67
       [########################--------] 39/5268[debug] /sqlite/src/pcache.c:345:17 ExecutionResult: Passed69[debug] /sqlite/src/pcache.c:226:20 ExecutionResult: Passed70[debug] /sqlite/src/pcache.c:242:20 ExecutionResult: Passed71[debug] /sqlite/src/pcache.c:364:41 ExecutionResult: Failed72
       [##########################------] 43/5273[debug] /sqlite/src/pcache.c:278:17 ExecutionResult: Passed74
       [###########################-----] 44/5275[debug] /sqlite/src/pcache.c:423:11 ExecutionResult: Failed76[debug] /sqlite/src/pcache.c:555:17 ExecutionResult: Passed77
       [############################----] 46/5278[debug] /sqlite/src/pcache.c:585:21 ExecutionResult: Passed79
       [############################----] 47/5280[debug] /sqlite/src/pcache.c:350:14 ExecutionResult: Passed81
       [#############################---] 48/5282[debug] /sqlite/src/pcache.c:518:17 ExecutionResult: Passed83[debug] /sqlite/src/pcache.c:553:21 ExecutionResult: Passed84
       [##############################--] 50/5285[debug] /sqlite/src/pcache.c:367:13 ExecutionResult: Failed86
       [###############################-] 51/5287[debug] /sqlite/src/pcache.c:304:5 ExecutionResult: Failed88
       [################################] 52/52. Finished in 620ms89[debug] Done running mutants90[info] Survived mutants (41/52):91/sqlite/src/pcache.c:201:17: warning: Survived: Replaced & with | [cxx_and_to_or]92  if( addRemove & PCACHE_DIRTYLIST_REMOVE ){93                ^94/sqlite/src/pcache.c:206:19: warning: Survived: Replaced == with != [cxx_eq_to_ne]95    if( p->pSynced==pPage ){96                  ^97/sqlite/src/pcache.c:226:20: warning: Survived: Replaced == with != [cxx_eq_to_ne]98      if( p->pDirty==0 ){         /*OPTIMIZATION-IF-TRUE*/99                   ^100/sqlite/src/pcache.c:228:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]101        p->eCreate = 2;102                   ^103/sqlite/src/pcache.c:232:17: warning: Survived: Replaced & with | [cxx_and_to_or]104  if( addRemove & PCACHE_DIRTYLIST_ADD ){105                ^106/sqlite/src/pcache.c:242:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]107        p->eCreate = 1;108                   ^109/sqlite/src/pcache.c:253:10: warning: Survived: Replaced == with != [cxx_eq_to_ne]110     && 0==(pPage->flags&PGHDR_NEED_SYNC)   /*OPTIMIZATION-IF-FALSE*/111         ^112/sqlite/src/pcache.c:253:25: warning: Survived: Replaced & with | [cxx_and_to_or]113     && 0==(pPage->flags&PGHDR_NEED_SYNC)   /*OPTIMIZATION-IF-FALSE*/114                        ^115/sqlite/src/pcache.c:278:17: warning: Survived: Replaced >= with > [cxx_ge_to_gt]116  if( p->szCache>=0 ){117                ^118/sqlite/src/pcache.c:278:17: warning: Survived: Replaced >= with < [cxx_ge_to_lt]119  if( p->szCache>=0 ){120                ^121/sqlite/src/pcache.c:342:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]122  p->szPage = 1;123            ^124/sqlite/src/pcache.c:343:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]125  p->szExtra = szExtra;126             ^127/sqlite/src/pcache.c:345:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]128  p->bPurgeable = bPurgeable;129                ^130/sqlite/src/pcache.c:346:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]131  p->eCreate = 2;132             ^133/sqlite/src/pcache.c:349:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]134  p->szCache = 100;135             ^136/sqlite/src/pcache.c:350:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]137  p->szSpill = 1;138             ^139/sqlite/src/pcache.c:368:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]140    sqlite3GlobalConfig.pcache2.xCachesize(pNew, numberOfCachePages(pCache));141                                                 ^142/sqlite/src/pcache.c:373:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]143    pCache->szPage = szPage;144                   ^145/sqlite/src/pcache.c:518:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]146  pPgHdr->flags = PGHDR_CLEAN;147                ^148/sqlite/src/pcache.c:541:18: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]149  pCache->nRefSum++;150                 ^151/sqlite/src/pcache.c:542:15: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]152  pPgHdr->nRef++;153              ^154/sqlite/src/pcache.c:553:21: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]155  p->pCache->nRefSum--;156                    ^157/sqlite/src/pcache.c:554:8: warning: Survived: Replaced --x with ++x [cxx_pre_dec_to_pre_inc]158  if( (--p->nRef)==0 ){159       ^160/sqlite/src/pcache.c:554:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]161  if( (--p->nRef)==0 ){162                 ^163/sqlite/src/pcache.c:555:17: warning: Survived: Replaced & with | [cxx_and_to_or]164    if( p->flags&PGHDR_CLEAN ){165                ^166/sqlite/src/pcache.c:556:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]167      pcacheUnpin(p);168      ^169/sqlite/src/pcache.c:582:15: warning: Survived: Replaced & with | [cxx_and_to_or]170  if( p->flags&PGHDR_DIRTY ){171              ^172/sqlite/src/pcache.c:585:21: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]173  p->pCache->nRefSum--;174                    ^175/sqlite/src/pcache.c:596:16: warning: Survived: Replaced & with | [cxx_and_to_or]176  if( p->flags & (PGHDR_CLEAN|PGHDR_DONT_WRITE) ){    /*OPTIMIZATION-IF-FALSE*/177               ^178/sqlite/src/pcache.c:598:18: warning: Survived: Replaced & with | [cxx_and_to_or]179    if( p->flags & PGHDR_CLEAN ){180                 ^181/sqlite/src/pcache.c:599:16: warning: Survived: Replaced ^= with |= [cxx_xor_assign_to_or_assign]182      p->flags ^= (PGHDR_DIRTY|PGHDR_CLEAN);183               ^184/sqlite/src/pcache.c:602:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]185      pcacheManageDirtyList(p, PCACHE_DIRTYLIST_ADD);186      ^187/sqlite/src/pcache.c:617:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]188  pcacheManageDirtyList(p, PCACHE_DIRTYLIST_REMOVE);189  ^190/sqlite/src/pcache.c:618:12: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]191  p->flags &= ~(PGHDR_DIRTY|PGHDR_NEED_SYNC|PGHDR_WRITEABLE);192           ^193/sqlite/src/pcache.c:619:12: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]194  p->flags |= PGHDR_CLEAN;195           ^196/sqlite/src/pcache.c:622:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]197  if( p->nRef==0 ){198             ^199/sqlite/src/pcache.c:675:17: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]200    pXPage->nRef++;201                ^202/sqlite/src/pcache.c:676:20: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]203    pCache->nRefSum++;204                   ^205/sqlite/src/pcache.c:681:16: warning: Survived: Replaced & with | [cxx_and_to_or]206  if( (p->flags&PGHDR_DIRTY) && (p->flags&PGHDR_NEED_SYNC) ){207               ^208/sqlite/src/pcache.c:681:42: warning: Survived: Replaced & with | [cxx_and_to_or]209  if( (p->flags&PGHDR_DIRTY) && (p->flags&PGHDR_NEED_SYNC) ){210                                         ^211/sqlite/src/pcache.c:682:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]212    pcacheManageDirtyList(p, PCACHE_DIRTYLIST_FRONT);213    ^214[info] Mutation score: 21%215[info] Total execution time: 937ms216[info] Surviving mutants: 41217