CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_memdb_sqlite3MemdbInit.out329 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 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/memdb.c:196:3 ExecutionResult: Passed15[debug] /sqlite/src/memdb.c:236:14 ExecutionResult: Passed16[debug] /sqlite/src/memdb.c:242:5 ExecutionResult: Passed17
       [#-------------------------------] 3/9218[debug] /sqlite/src/memdb.c:276:50 ExecutionResult: Failed19
       [#-------------------------------] 4/9220[debug] /sqlite/src/memdb.c:283:12 ExecutionResult: Passed21[debug] /sqlite/src/memdb.c:308:17 ExecutionResult: Passed22
       [##------------------------------] 6/9223[debug] /sqlite/src/memdb.c:932:9 ExecutionResult: Failed24[debug] /sqlite/src/memdb.c:617:3 ExecutionResult: Passed25[debug] /sqlite/src/memdb.c:467:3 ExecutionResult: Passed26
       [###-----------------------------] 9/9227[debug] /sqlite/src/memdb.c:373:3 ExecutionResult: Passed28[debug] /sqlite/src/memdb.c:418:36 ExecutionResult: Passed29[debug] /sqlite/src/memdb.c:555:10 ExecutionResult: Passed30[debug] /sqlite/src/memdb.c:441:15 ExecutionResult: Failed31[debug] /sqlite/src/memdb.c:316:14 ExecutionResult: Passed32
       [####----------------------------] 14/9233[debug] /sqlite/src/memdb.c:433:12 ExecutionResult: Failed34[debug] /sqlite/src/memdb.c:360:10 ExecutionResult: Failed35[debug] /sqlite/src/memdb.c:556:28 ExecutionResult: Passed36[debug] /sqlite/src/memdb.c:311:13 ExecutionResult: Passed37[debug] /sqlite/src/memdb.c:610:14 ExecutionResult: Failed38
       [######--------------------------] 19/9239[debug] /sqlite/src/memdb.c:262:14 ExecutionResult: Failed40
       [######--------------------------] 20/9241[debug] /sqlite/src/memdb.c:199:3 ExecutionResult: Passed42
       [#######-------------------------] 21/9243[debug] /sqlite/src/memdb.c:237:19 ExecutionResult: Passed44[debug] /sqlite/src/memdb.c:259:3 ExecutionResult: Passed45
       [########------------------------] 23/9246[debug] /sqlite/src/memdb.c:279:12 ExecutionResult: Passed47
       [########------------------------] 24/9248[debug] /sqlite/src/memdb.c:285:11 ExecutionResult: Failed49
       [########------------------------] 25/9250[debug] /sqlite/src/memdb.c:932:9 ExecutionResult: Passed51
       [#########-----------------------] 26/9252[debug] /sqlite/src/memdb.c:379:12 ExecutionResult: Passed53[debug] /sqlite/src/memdb.c:419:3 ExecutionResult: Passed54
       [#########-----------------------] 28/9255[debug] /sqlite/src/memdb.c:555:12 ExecutionResult: Passed56[debug] /sqlite/src/memdb.c:361:3 ExecutionResult: Passed57[debug] /sqlite/src/memdb.c:435:17 ExecutionResult: Failed58[debug] /sqlite/src/memdb.c:444:16 ExecutionResult: Passed59[debug] /sqlite/src/memdb.c:556:45 ExecutionResult: Passed60[debug] /sqlite/src/memdb.c:317:11 ExecutionResult: Failed61
       [###########---------------------] 34/9262[debug] /sqlite/src/memdb.c:311:15 ExecutionResult: Failed63
       [############--------------------] 35/9264[debug] /sqlite/src/memdb.c:262:14 ExecutionResult: Passed65[debug] /sqlite/src/memdb.c:233:5 ExecutionResult: Passed66[debug] /sqlite/src/memdb.c:648:12 ExecutionResult: Failed67
       [#############-------------------] 38/9268[debug] /sqlite/src/memdb.c:238:7 ExecutionResult: Passed69
       [#############-------------------] 39/9270[debug] /sqlite/src/memdb.c:308:17 ExecutionResult: Failed71
       [#############-------------------] 40/9272[debug] /sqlite/src/memdb.c:279:12 ExecutionResult: Failed73
       [##############------------------] 41/9274[debug] /sqlite/src/memdb.c:468:9 ExecutionResult: Failed75
       [##############------------------] 42/9276[debug] /sqlite/src/memdb.c:613:16 ExecutionResult: Failed77[debug] /sqlite/src/memdb.c:287:14 ExecutionResult: Passed78
       [###############-----------------] 44/9279[debug] /sqlite/src/memdb.c:379:12 ExecutionResult: Passed80[debug] /sqlite/src/memdb.c:933:22 ExecutionResult: Failed81
       [################----------------] 46/9282[debug] /sqlite/src/memdb.c:445:3 ExecutionResult: Passed83[debug] /sqlite/src/memdb.c:371:7 ExecutionResult: Failed84[debug] /sqlite/src/memdb.c:429:12 ExecutionResult: Passed85
       [#################---------------] 49/9286[debug] /sqlite/src/memdb.c:556:13 ExecutionResult: Passed87[debug] /sqlite/src/memdb.c:605:10 ExecutionResult: Failed88[debug] /sqlite/src/memdb.c:438:21 ExecutionResult: Passed89
       [##################--------------] 52/9290[debug] /sqlite/src/memdb.c:311:36 ExecutionResult: Failed91[debug] /sqlite/src/memdb.c:317:18 ExecutionResult: Failed92
       [##################--------------] 54/9293[debug] /sqlite/src/memdb.c:260:12 ExecutionResult: Failed94
       [###################-------------] 55/9295[debug] /sqlite/src/memdb.c:915:14 ExecutionResult: Failed96
       [###################-------------] 56/9297[debug] /sqlite/src/memdb.c:263:5 ExecutionResult: Passed98[debug] /sqlite/src/memdb.c:235:10 ExecutionResult: Passed99
       [####################------------] 58/92100[debug] /sqlite/src/memdb.c:240:5 ExecutionResult: Passed101
       [####################------------] 59/92102[debug] /sqlite/src/memdb.c:614:16 ExecutionResult: Passed103[debug] /sqlite/src/memdb.c:301:3 ExecutionResult: Passed104
       [#####################-----------] 61/92105[debug] /sqlite/src/memdb.c:379:46 ExecutionResult: Failed106[debug] /sqlite/src/memdb.c:934:10 ExecutionResult: Failed107
       [#####################-----------] 63/92108[debug] /sqlite/src/memdb.c:466:7 ExecutionResult: Failed109[debug] /sqlite/src/memdb.c:372:12 ExecutionResult: Passed110[debug] /sqlite/src/memdb.c:429:12 ExecutionResult: Passed111
       [######################----------] 66/92112[debug] /sqlite/src/memdb.c:556:13 ExecutionResult: Passed113[debug] /sqlite/src/memdb.c:609:15 ExecutionResult: Passed114[debug] /sqlite/src/memdb.c:438:21 ExecutionResult: Passed115
       [########################--------] 69/92116[debug] /sqlite/src/memdb.c:311:43 ExecutionResult: Failed117[debug] /sqlite/src/memdb.c:320:3 ExecutionResult: Passed118
       [########################--------] 71/92119[debug] /sqlite/src/memdb.c:310:14 ExecutionResult: Failed120[debug] /sqlite/src/memdb.c:260:17 ExecutionResult: Passed121
       [#########################-------] 73/92122[debug] /sqlite/src/memdb.c:282:9 ExecutionResult: Failed123[debug] /sqlite/src/memdb.c:926:6 ExecutionResult: Failed124[debug] /sqlite/src/memdb.c:236:14 ExecutionResult: Passed125
       [##########################------] 76/92126[debug] /sqlite/src/memdb.c:472:9 ExecutionResult: Failed127
       [##########################------] 77/92128[debug] /sqlite/src/memdb.c:267:3 ExecutionResult: Passed129[debug] /sqlite/src/memdb.c:241:5 ExecutionResult: Passed130
       [###########################-----] 79/92131[debug] /sqlite/src/memdb.c:430:3 ExecutionResult: Passed132
       [###########################-----] 80/92133[debug] /sqlite/src/memdb.c:372:12 ExecutionResult: Passed134
       [############################----] 81/92135[debug] /sqlite/src/memdb.c:614:24 ExecutionResult: Passed136[debug] /sqlite/src/memdb.c:418:9 ExecutionResult: Failed137
       [############################----] 83/92138[debug] /sqlite/src/memdb.c:310:19 ExecutionResult: Passed139
       [#############################---] 84/92140[debug] /sqlite/src/memdb.c:283:12 ExecutionResult: Passed141[debug] /sqlite/src/memdb.c:316:14 ExecutionResult: Passed142
       [#############################---] 86/92143[debug] /sqlite/src/memdb.c:359:3 ExecutionResult: Passed144[debug] /sqlite/src/memdb.c:485:3 ExecutionResult: Passed145
       [##############################--] 88/92146[debug] /sqlite/src/memdb.c:276:18 ExecutionResult: Passed147[debug] /sqlite/src/memdb.c:308:12 ExecutionResult: Failed148
       [###############################-] 90/92149[debug] /sqlite/src/memdb.c:260:17 ExecutionResult: Failed150
       [###############################-] 91/92151[debug] /sqlite/src/memdb.c:310:19 ExecutionResult: Failed152
       [################################] 92/92. Finished in 1087ms153[debug] Done running mutants154[info] Survived mutants (57/92):155/sqlite/src/memdb.c:196:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]156  sqlite3_mutex_enter(p->pMutex);157  ^158/sqlite/src/memdb.c:199:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]159  sqlite3_mutex_leave(p->pMutex);160  ^161/sqlite/src/memdb.c:233:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]162    memdbEnter(p);163    ^164/sqlite/src/memdb.c:235:10: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]165  p->nRef--;166         ^167/sqlite/src/memdb.c:236:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]168  if( p->nRef<=0 ){169             ^170/sqlite/src/memdb.c:236:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]171  if( p->nRef<=0 ){172             ^173/sqlite/src/memdb.c:237:19: warning: Survived: Replaced & with | [cxx_and_to_or]174    if( p->mFlags & SQLITE_DESERIALIZE_FREEONCLOSE ){175                  ^176/sqlite/src/memdb.c:238:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]177      sqlite3_free(p->aData);178      ^179/sqlite/src/memdb.c:240:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]180    memdbLeave(p);181    ^182/sqlite/src/memdb.c:241:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]183    sqlite3_mutex_free(p->pMutex);184    ^185/sqlite/src/memdb.c:242:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]186    sqlite3_free(p);187    ^188/sqlite/src/memdb.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]189  memdbEnter(p);190  ^191/sqlite/src/memdb.c:260:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]192  if( iOfst+iAmt>p->sz ){193                ^194/sqlite/src/memdb.c:262:14: warning: Survived: Replaced < with <= [cxx_lt_to_le]195    if( iOfst<p->sz ) memcpy(zBuf, p->aData+iOfst, p->sz - iOfst);196             ^197/sqlite/src/memdb.c:263:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]198    memdbLeave(p);199    ^200/sqlite/src/memdb.c:267:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]201  memdbLeave(p);202  ^203/sqlite/src/memdb.c:276:18: warning: Survived: Replaced & with | [cxx_and_to_or]204  if( (p->mFlags & SQLITE_DESERIALIZE_RESIZEABLE)==0 || NEVER(p->nMmap>0) ){205                 ^206/sqlite/src/memdb.c:279:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]207  if( newSz>p->szMax ){208           ^209/sqlite/src/memdb.c:283:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]210  if( newSz>p->szMax ) newSz = p->szMax;211           ^212/sqlite/src/memdb.c:283:12: warning: Survived: Replaced > with <= [cxx_gt_to_le]213  if( newSz>p->szMax ) newSz = p->szMax;214           ^215/sqlite/src/memdb.c:287:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]216  p->szAlloc = newSz;217             ^218/sqlite/src/memdb.c:301:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]219  memdbEnter(p);220  ^221/sqlite/src/memdb.c:308:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]222  if( iOfst+iAmt>p->sz ){223                ^224/sqlite/src/memdb.c:310:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]225    if( iOfst+iAmt>p->szAlloc226                  ^227/sqlite/src/memdb.c:311:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]228     && (rc = memdbEnlarge(p, iOfst+iAmt))!=SQLITE_OK229            ^230/sqlite/src/memdb.c:316:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]231    if( iOfst>p->sz ) memset(p->aData+p->sz, 0, iOfst-p->sz);232             ^233/sqlite/src/memdb.c:316:14: warning: Survived: Replaced > with <= [cxx_gt_to_le]234    if( iOfst>p->sz ) memset(p->aData+p->sz, 0, iOfst-p->sz);235             ^236/sqlite/src/memdb.c:320:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]237  memdbLeave(p);238  ^239/sqlite/src/memdb.c:359:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]240  memdbEnter(p);241  ^242/sqlite/src/memdb.c:361:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]243  memdbLeave(p);244  ^245/sqlite/src/memdb.c:372:12: warning: Survived: Replaced <= with > [cxx_le_to_gt]246  if( eLock<=pThis->eLock ) return SQLITE_OK;247           ^248/sqlite/src/memdb.c:372:12: warning: Survived: Replaced <= with < [cxx_le_to_lt]249  if( eLock<=pThis->eLock ) return SQLITE_OK;250           ^251/sqlite/src/memdb.c:373:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]252  memdbEnter(p);253  ^254/sqlite/src/memdb.c:379:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]255  if( eLock>SQLITE_LOCK_SHARED && (p->mFlags & SQLITE_DESERIALIZE_READONLY) ){256           ^257/sqlite/src/memdb.c:379:12: warning: Survived: Replaced > with <= [cxx_gt_to_le]258  if( eLock>SQLITE_LOCK_SHARED && (p->mFlags & SQLITE_DESERIALIZE_READONLY) ){259           ^260/sqlite/src/memdb.c:418:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]261  if( rc==SQLITE_OK ) pThis->eLock = eLock;262                                   ^263/sqlite/src/memdb.c:419:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]264  memdbLeave(p);265  ^266/sqlite/src/memdb.c:429:12: warning: Survived: Replaced >= with > [cxx_ge_to_gt]267  if( eLock>=pThis->eLock ) return SQLITE_OK;268           ^269/sqlite/src/memdb.c:429:12: warning: Survived: Replaced >= with < [cxx_ge_to_lt]270  if( eLock>=pThis->eLock ) return SQLITE_OK;271           ^272/sqlite/src/memdb.c:430:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]273  memdbEnter(p);274  ^275/sqlite/src/memdb.c:438:21: warning: Survived: Replaced > with >= [cxx_gt_to_ge]276    if( pThis->eLock>SQLITE_LOCK_SHARED ){277                    ^278/sqlite/src/memdb.c:438:21: warning: Survived: Replaced > with <= [cxx_gt_to_le]279    if( pThis->eLock>SQLITE_LOCK_SHARED ){280                    ^281/sqlite/src/memdb.c:444:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]282  pThis->eLock = eLock;283               ^284/sqlite/src/memdb.c:445:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]285  memdbLeave(p);286  ^287/sqlite/src/memdb.c:467:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]288  memdbEnter(p);289  ^290/sqlite/src/memdb.c:485:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]291  memdbLeave(p);292  ^293/sqlite/src/memdb.c:555:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]294  szName = sqlite3Strlen30(zName);295         ^296/sqlite/src/memdb.c:555:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]297  szName = sqlite3Strlen30(zName);298           ^299/sqlite/src/memdb.c:556:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]300  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){301            ^302/sqlite/src/memdb.c:556:13: warning: Survived: Replaced > with <= [cxx_gt_to_le]303  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){304            ^305/sqlite/src/memdb.c:556:28: warning: Survived: Replaced == with != [cxx_eq_to_ne]306  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){307                           ^308/sqlite/src/memdb.c:556:45: warning: Survived: Replaced == with != [cxx_eq_to_ne]309  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){310                                            ^311/sqlite/src/memdb.c:609:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]312    p->mFlags = SQLITE_DESERIALIZE_RESIZEABLE | SQLITE_DESERIALIZE_FREEONCLOSE;313              ^314/sqlite/src/memdb.c:614:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]315    *pOutFlags = flags | SQLITE_OPEN_MEMORY;316               ^317/sqlite/src/memdb.c:614:24: warning: Survived: Replaced | with & [cxx_or_to_and]318    *pOutFlags = flags | SQLITE_OPEN_MEMORY;319                       ^320/sqlite/src/memdb.c:617:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]321  memdbLeave(p);322  ^323/sqlite/src/memdb.c:932:9: warning: Survived: Replaced < with <= [cxx_lt_to_le]324  if( sz<sizeof(MemFile) ) sz = sizeof(MemFile); /*NO_TEST*/325        ^326[info] Mutation score: 38%327[info] Total execution time: 1388ms328[info] Surviving mutants: 57329