CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_memdb_memdbRead.out398 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 4ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/memdb.c:237:19 ExecutionResult: Passed15[debug] /sqlite/src/memdb.c:196:3 ExecutionResult: Passed16[debug] /sqlite/src/memdb.c:377:12 ExecutionResult: Passed17[debug] /sqlite/src/memdb.c:262:14 ExecutionResult: Passed18
       [--------------------------------] 1/10119[debug] /sqlite/src/memdb.c:259:3 ExecutionResult: Passed20
       [#-------------------------------] 5/10121[debug] /sqlite/src/memdb.c:561:28 ExecutionResult: Passed22
       [#-------------------------------] 6/10123[debug] /sqlite/src/memdb.c:931:6 ExecutionResult: Passed24[debug] /sqlite/src/memdb.c:898:21 ExecutionResult: Passed25
       [##------------------------------] 8/10126[debug] /sqlite/src/memdb.c:364:3 ExecutionResult: Passed27[debug] /sqlite/src/memdb.c:450:3 ExecutionResult: Passed28[debug] /sqlite/src/memdb.c:618:16 ExecutionResult: Passed29[debug] /sqlite/src/memdb.c:490:3 ExecutionResult: Passed30
       [###-----------------------------] 12/10131[debug] /sqlite/src/memdb.c:903:20 ExecutionResult: Passed32[debug] /sqlite/src/memdb.c:870:10 ExecutionResult: Passed33[debug] /sqlite/src/memdb.c:423:36 ExecutionResult: Passed34[debug] /sqlite/src/memdb.c:438:12 ExecutionResult: Passed35[debug] /sqlite/src/memdb.c:748:3 ExecutionResult: Passed36
       [#####---------------------------] 17/10137[debug] /sqlite/src/memdb.c:238:7 ExecutionResult: Passed38
       [#####---------------------------] 18/10139[debug] /sqlite/src/memdb.c:378:3 ExecutionResult: Passed40[debug] /sqlite/src/memdb.c:878:10 ExecutionResult: Failed41
       [######--------------------------] 20/10142[debug] /sqlite/src/memdb.c:199:3 ExecutionResult: Passed43[debug] /sqlite/src/memdb.c:884:8 ExecutionResult: Failed44
       [######--------------------------] 22/10145[debug] /sqlite/src/memdb.c:742:7 ExecutionResult: Failed46
       [#######-------------------------] 23/10147[debug] /sqlite/src/memdb.c:561:45 ExecutionResult: Passed48
       [#######-------------------------] 24/10149[debug] /sqlite/src/memdb.c:937:9 ExecutionResult: Passed50[debug] /sqlite/src/memdb.c:899:19 ExecutionResult: Passed51
       [########------------------------] 26/10152[debug] /sqlite/src/memdb.c:471:7 ExecutionResult: Passed53[debug] /sqlite/src/memdb.c:619:16 ExecutionResult: Passed54[debug] /sqlite/src/memdb.c:560:10 ExecutionResult: Passed55
       [#########-----------------------] 29/10156[debug] /sqlite/src/memdb.c:870:10 ExecutionResult: Passed57[debug] /sqlite/src/memdb.c:424:3 ExecutionResult: Passed58[debug] /sqlite/src/memdb.c:443:21 ExecutionResult: Passed59
       [##########----------------------] 32/10160[debug] /sqlite/src/memdb.c:866:3 ExecutionResult: Passed61
       [##########----------------------] 33/10162[debug] /sqlite/src/memdb.c:260:12 ExecutionResult: Failed63
       [##########----------------------] 34/10164[debug] /sqlite/src/memdb.c:262:58 ExecutionResult: Failed65
       [###########---------------------] 35/10166[debug] /sqlite/src/memdb.c:240:5 ExecutionResult: Passed67
       [###########---------------------] 36/10168[debug] /sqlite/src/memdb.c:384:12 ExecutionResult: Passed69[debug] /sqlite/src/memdb.c:879:5 ExecutionResult: Passed70
       [############--------------------] 38/10171[debug] /sqlite/src/memdb.c:365:10 ExecutionResult: Failed72
       [############--------------------] 39/10173[debug] /sqlite/src/memdb.c:233:5 ExecutionResult: Passed74[debug] /sqlite/src/memdb.c:885:24 ExecutionResult: Passed75
       [############--------------------] 41/10176[debug] /sqlite/src/memdb.c:610:10 ExecutionResult: Failed77[debug] /sqlite/src/memdb.c:904:8 ExecutionResult: Failed78
       [#############-------------------] 43/10179[debug] /sqlite/src/memdb.c:937:9 ExecutionResult: Passed80[debug] /sqlite/src/memdb.c:900:22 ExecutionResult: Passed81
       [##############------------------] 45/10182[debug] /sqlite/src/memdb.c:472:3 ExecutionResult: Passed83[debug] /sqlite/src/memdb.c:619:24 ExecutionResult: Passed84
       [##############------------------] 47/10185[debug] /sqlite/src/memdb.c:560:12 ExecutionResult: Passed86[debug] /sqlite/src/memdb.c:434:12 ExecutionResult: Passed87[debug] /sqlite/src/memdb.c:443:21 ExecutionResult: Passed88
       [###############-----------------] 50/10189[debug] /sqlite/src/memdb.c:867:14 ExecutionResult: Passed90
       [################----------------] 51/10191[debug] /sqlite/src/memdb.c:260:17 ExecutionResult: Failed92
       [################----------------] 52/10193[debug] /sqlite/src/memdb.c:263:5 ExecutionResult: Passed94
       [################----------------] 53/10195[debug] /sqlite/src/memdb.c:241:5 ExecutionResult: Passed96[debug] /sqlite/src/memdb.c:742:12 ExecutionResult: Failed97
       [#################---------------] 55/10198[debug] /sqlite/src/memdb.c:384:12 ExecutionResult: Passed99[debug] /sqlite/src/memdb.c:366:3 ExecutionResult: Passed100
       [##################--------------] 57/101101[debug] /sqlite/src/memdb.c:870:19 ExecutionResult: Failed102
       [##################--------------] 58/101103[debug] /sqlite/src/memdb.c:235:10 ExecutionResult: Passed104
       [##################--------------] 59/101105[debug] /sqlite/src/memdb.c:614:15 ExecutionResult: Passed106[debug] /sqlite/src/memdb.c:908:3 ExecutionResult: Passed107
       [###################-------------] 61/101108[debug] /sqlite/src/memdb.c:938:22 ExecutionResult: Passed109[debug] /sqlite/src/memdb.c:900:22 ExecutionResult: Passed110
       [###################-------------] 63/101111[debug] /sqlite/src/memdb.c:473:9 ExecutionResult: Passed112[debug] /sqlite/src/memdb.c:622:3 ExecutionResult: Passed113[debug] /sqlite/src/memdb.c:434:12 ExecutionResult: Passed114
       [####################------------] 66/101115[debug] /sqlite/src/memdb.c:561:13 ExecutionResult: Passed116[debug] /sqlite/src/memdb.c:446:15 ExecutionResult: Passed117
       [#####################-----------] 68/101118[debug] /sqlite/src/memdb.c:882:16 ExecutionResult: Failed119
       [#####################-----------] 69/101120[debug] /sqlite/src/memdb.c:267:3 ExecutionResult: Passed121
       [######################----------] 70/101122[debug] /sqlite/src/memdb.c:886:9 ExecutionResult: Failed123
       [######################----------] 71/101124[debug] /sqlite/src/memdb.c:423:9 ExecutionResult: Passed125[debug] /sqlite/src/memdb.c:242:5 ExecutionResult: Passed126
       [#######################---------] 73/101127[debug] /sqlite/src/memdb.c:236:14 ExecutionResult: Passed128
       [#######################---------] 74/101129[debug] /sqlite/src/memdb.c:868:7 ExecutionResult: Failed130
       [#######################---------] 75/101131[debug] /sqlite/src/memdb.c:912:3 ExecutionResult: Passed132[debug] /sqlite/src/memdb.c:615:14 ExecutionResult: Passed133[debug] /sqlite/src/memdb.c:435:3 ExecutionResult: Passed134
       [########################--------] 78/101135[debug] /sqlite/src/memdb.c:939:10 ExecutionResult: Failed136[debug] /sqlite/src/memdb.c:477:9 ExecutionResult: Passed137[debug] /sqlite/src/memdb.c:901:21 ExecutionResult: Passed138[debug] /sqlite/src/memdb.c:260:17 ExecutionResult: Failed139
       [#########################-------] 82/101140[debug] /sqlite/src/memdb.c:449:16 ExecutionResult: Passed141[debug] /sqlite/src/memdb.c:561:13 ExecutionResult: Passed142
       [##########################------] 84/101143[debug] /sqlite/src/memdb.c:883:24 ExecutionResult: Passed144[debug] /sqlite/src/memdb.c:744:23 ExecutionResult: Failed145
       [###########################-----] 86/101146[debug] /sqlite/src/memdb.c:875:11 ExecutionResult: Failed147
       [###########################-----] 87/101148[debug] /sqlite/src/memdb.c:272:12 ExecutionResult: Failed149
       [###########################-----] 88/101150[debug] /sqlite/src/memdb.c:376:7 ExecutionResult: Failed151
       [############################----] 89/101152[debug] /sqlite/src/memdb.c:653:12 ExecutionResult: Failed153
       [############################----] 90/101154[debug] /sqlite/src/memdb.c:920:14 ExecutionResult: Passed155[debug] /sqlite/src/memdb.c:236:14 ExecutionResult: Passed156
       [#############################---] 92/101157[debug] /sqlite/src/memdb.c:891:8 ExecutionResult: Failed158
       [#############################---] 93/101159[debug] /sqlite/src/memdb.c:746:3 ExecutionResult: Passed160
       [#############################---] 94/101161[debug] /sqlite/src/memdb.c:868:9 ExecutionResult: Failed162[debug] /sqlite/src/memdb.c:377:12 ExecutionResult: Passed163
       [##############################--] 96/101164[debug] /sqlite/src/memdb.c:262:14 ExecutionResult: Failed165
       [##############################--] 97/101166[debug] /sqlite/src/memdb.c:884:6 ExecutionResult: Failed167
       [###############################-] 98/101168[debug] /sqlite/src/memdb.c:878:8 ExecutionResult: Failed169
       [###############################-] 99/101170[debug] /sqlite/src/memdb.c:897:16 ExecutionResult: Failed171
       [###############################-] 100/101172[debug] /sqlite/src/memdb.c:747:21 ExecutionResult: Failed173
       [################################] 101/101. Finished in 1253ms174[debug] Done running mutants175[info] Survived mutants (73/101):176/sqlite/src/memdb.c:196:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]177  sqlite3_mutex_enter(p->pMutex);178  ^179/sqlite/src/memdb.c:199:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]180  sqlite3_mutex_leave(p->pMutex);181  ^182/sqlite/src/memdb.c:233:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]183    memdbEnter(p);184    ^185/sqlite/src/memdb.c:235:10: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]186  p->nRef--;187         ^188/sqlite/src/memdb.c:236:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]189  if( p->nRef<=0 ){190             ^191/sqlite/src/memdb.c:236:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]192  if( p->nRef<=0 ){193             ^194/sqlite/src/memdb.c:237:19: warning: Survived: Replaced & with | [cxx_and_to_or]195    if( p->mFlags & SQLITE_DESERIALIZE_FREEONCLOSE ){196                  ^197/sqlite/src/memdb.c:238:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]198      sqlite3_free(p->aData);199      ^200/sqlite/src/memdb.c:240:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]201    memdbLeave(p);202    ^203/sqlite/src/memdb.c:241:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]204    sqlite3_mutex_free(p->pMutex);205    ^206/sqlite/src/memdb.c:242:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]207    sqlite3_free(p);208    ^209/sqlite/src/memdb.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]210  memdbEnter(p);211  ^212/sqlite/src/memdb.c:262:14: warning: Survived: Replaced < with <= [cxx_lt_to_le]213    if( iOfst<p->sz ) memcpy(zBuf, p->aData+iOfst, p->sz - iOfst);214             ^215/sqlite/src/memdb.c:263:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]216    memdbLeave(p);217    ^218/sqlite/src/memdb.c:267:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]219  memdbLeave(p);220  ^221/sqlite/src/memdb.c:364:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]222  memdbEnter(p);223  ^224/sqlite/src/memdb.c:366:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]225  memdbLeave(p);226  ^227/sqlite/src/memdb.c:377:12: warning: Survived: Replaced <= with > [cxx_le_to_gt]228  if( eLock<=pThis->eLock ) return SQLITE_OK;229           ^230/sqlite/src/memdb.c:377:12: warning: Survived: Replaced <= with < [cxx_le_to_lt]231  if( eLock<=pThis->eLock ) return SQLITE_OK;232           ^233/sqlite/src/memdb.c:378:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]234  memdbEnter(p);235  ^236/sqlite/src/memdb.c:384:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]237  if( eLock>SQLITE_LOCK_SHARED && (p->mFlags & SQLITE_DESERIALIZE_READONLY) ){238           ^239/sqlite/src/memdb.c:384:12: warning: Survived: Replaced > with <= [cxx_gt_to_le]240  if( eLock>SQLITE_LOCK_SHARED && (p->mFlags & SQLITE_DESERIALIZE_READONLY) ){241           ^242/sqlite/src/memdb.c:423:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]243  if( rc==SQLITE_OK ) pThis->eLock = eLock;244        ^245/sqlite/src/memdb.c:423:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]246  if( rc==SQLITE_OK ) pThis->eLock = eLock;247                                   ^248/sqlite/src/memdb.c:424:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]249  memdbLeave(p);250  ^251/sqlite/src/memdb.c:434:12: warning: Survived: Replaced >= with > [cxx_ge_to_gt]252  if( eLock>=pThis->eLock ) return SQLITE_OK;253           ^254/sqlite/src/memdb.c:434:12: warning: Survived: Replaced >= with < [cxx_ge_to_lt]255  if( eLock>=pThis->eLock ) return SQLITE_OK;256           ^257/sqlite/src/memdb.c:435:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]258  memdbEnter(p);259  ^260/sqlite/src/memdb.c:438:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]261  if( eLock==SQLITE_LOCK_SHARED ){262           ^263/sqlite/src/memdb.c:443:21: warning: Survived: Replaced > with >= [cxx_gt_to_ge]264    if( pThis->eLock>SQLITE_LOCK_SHARED ){265                    ^266/sqlite/src/memdb.c:443:21: warning: Survived: Replaced > with <= [cxx_gt_to_le]267    if( pThis->eLock>SQLITE_LOCK_SHARED ){268                    ^269/sqlite/src/memdb.c:446:15: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]270    p->nRdLock--;271              ^272/sqlite/src/memdb.c:449:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]273  pThis->eLock = eLock;274               ^275/sqlite/src/memdb.c:450:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]276  memdbLeave(p);277  ^278/sqlite/src/memdb.c:471:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]279  int rc = SQLITE_NOTFOUND;280      ^281/sqlite/src/memdb.c:472:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]282  memdbEnter(p);283  ^284/sqlite/src/memdb.c:473:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]285  if( op==SQLITE_FCNTL_VFSNAME ){286        ^287/sqlite/src/memdb.c:477:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]288  if( op==SQLITE_FCNTL_SIZE_LIMIT ){289        ^290/sqlite/src/memdb.c:490:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]291  memdbLeave(p);292  ^293/sqlite/src/memdb.c:560:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]294  szName = sqlite3Strlen30(zName);295         ^296/sqlite/src/memdb.c:560:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]297  szName = sqlite3Strlen30(zName);298           ^299/sqlite/src/memdb.c:561:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]300  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){301            ^302/sqlite/src/memdb.c:561:13: warning: Survived: Replaced > with <= [cxx_gt_to_le]303  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){304            ^305/sqlite/src/memdb.c:561:28: warning: Survived: Replaced == with != [cxx_eq_to_ne]306  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){307                           ^308/sqlite/src/memdb.c:561:45: warning: Survived: Replaced == with != [cxx_eq_to_ne]309  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){310                                            ^311/sqlite/src/memdb.c:614: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:615:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]315    p->szMax = sqlite3GlobalConfig.mxMemdbSize;316             ^317/sqlite/src/memdb.c:618:16: warning: Survived: Replaced != with == [cxx_ne_to_eq]318  if( pOutFlags!=0 ){319               ^320/sqlite/src/memdb.c:619:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]321    *pOutFlags = flags | SQLITE_OPEN_MEMORY;322               ^323/sqlite/src/memdb.c:619:24: warning: Survived: Replaced | with & [cxx_or_to_and]324    *pOutFlags = flags | SQLITE_OPEN_MEMORY;325                       ^326/sqlite/src/memdb.c:622:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]327  memdbLeave(p);328  ^329/sqlite/src/memdb.c:746:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]330  memdbEnter(pStore);331  ^332/sqlite/src/memdb.c:748:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]333  memdbLeave(pStore);334  ^335/sqlite/src/memdb.c:866:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]336  sqlite3_mutex_enter(db->mutex);337  ^338/sqlite/src/memdb.c:867:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]339  if( zSchema==0 ) zSchema = db->aDb[0].zDbSName;340             ^341/sqlite/src/memdb.c:870:10: warning: Survived: Replaced < with >= [cxx_lt_to_ge]342  if( iDb<2 && iDb!=0 ){343         ^344/sqlite/src/memdb.c:870:10: warning: Survived: Replaced < with <= [cxx_lt_to_le]345  if( iDb<2 && iDb!=0 ){346         ^347/sqlite/src/memdb.c:879:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]348    sqlite3_free(zSql);349    ^350/sqlite/src/memdb.c:883:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]351  db->init.reopenMemdb = 1;352                       ^353/sqlite/src/memdb.c:885:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]354  db->init.reopenMemdb = 0;355                       ^356/sqlite/src/memdb.c:898:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]357    pStore->szAlloc = szBuf;358                    ^359/sqlite/src/memdb.c:899:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]360    pStore->szMax = szBuf;361                  ^362/sqlite/src/memdb.c:900:22: warning: Survived: Replaced < with >= [cxx_lt_to_ge]363    if( pStore->szMax<sqlite3GlobalConfig.mxMemdbSize ){364                     ^365/sqlite/src/memdb.c:900:22: warning: Survived: Replaced < with <= [cxx_lt_to_le]366    if( pStore->szMax<sqlite3GlobalConfig.mxMemdbSize ){367                     ^368/sqlite/src/memdb.c:901:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]369      pStore->szMax = sqlite3GlobalConfig.mxMemdbSize;370                    ^371/sqlite/src/memdb.c:903:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]372    pStore->mFlags = mFlags;373                   ^374/sqlite/src/memdb.c:908:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]375  sqlite3_finalize(pStmt);376  ^377/sqlite/src/memdb.c:912:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]378  sqlite3_mutex_leave(db->mutex);379  ^380/sqlite/src/memdb.c:920:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]381  return pVfs==&memdb_vfs;382             ^383/sqlite/src/memdb.c:931:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]384  sz = pLower->szOsFile;385     ^386/sqlite/src/memdb.c:937:9: warning: Survived: Replaced < with >= [cxx_lt_to_ge]387  if( sz<sizeof(MemFile) ) sz = sizeof(MemFile); /*NO_TEST*/388        ^389/sqlite/src/memdb.c:937:9: warning: Survived: Replaced < with <= [cxx_lt_to_le]390  if( sz<sizeof(MemFile) ) sz = sizeof(MemFile); /*NO_TEST*/391        ^392/sqlite/src/memdb.c:938:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]393  memdb_vfs.szOsFile = sz;394                     ^395[info] Mutation score: 27%396[info] Total execution time: 1563ms397[info] Surviving mutants: 73398