CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_memdb_memdbFileControl.out321 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 109ms7[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 110ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/memdb.c:196:3 ExecutionResult: Passed15[debug] /sqlite/src/memdb.c:276:50 ExecutionResult: Failed16
       [--------------------------------] 2/9417[debug] /sqlite/src/memdb.c:220:9 ExecutionResult: Passed18[debug] /sqlite/src/memdb.c:238:7 ExecutionResult: Passed19[debug] /sqlite/src/memdb.c:283:12 ExecutionResult: Passed20
       [#-------------------------------] 5/9421[debug] /sqlite/src/memdb.c:308:17 ExecutionResult: Passed22
       [##------------------------------] 6/9423[debug] /sqlite/src/memdb.c:311:13 ExecutionResult: Passed24[debug] /sqlite/src/memdb.c:937:9 ExecutionResult: Passed25[debug] /sqlite/src/memdb.c:561:28 ExecutionResult: Passed26
       [###-----------------------------] 9/9427[debug] /sqlite/src/memdb.c:590:17 ExecutionResult: Passed28[debug] /sqlite/src/memdb.c:492:12 ExecutionResult: Failed29[debug] /sqlite/src/memdb.c:619:16 ExecutionResult: Passed30
       [####----------------------------] 12/9431[debug] /sqlite/src/memdb.c:474:15 ExecutionResult: Failed32[debug] /sqlite/src/memdb.c:601:15 ExecutionResult: Passed33[debug] /sqlite/src/memdb.c:467:3 ExecutionResult: Passed34[debug] /sqlite/src/memdb.c:316:14 ExecutionResult: Passed35[debug] /sqlite/src/memdb.c:581:46 ExecutionResult: Passed36
       [#####---------------------------] 17/9437[debug] /sqlite/src/memdb.c:478:16 ExecutionResult: Failed38
       [######--------------------------] 18/9439[debug] /sqlite/src/memdb.c:279:12 ExecutionResult: Passed40
       [######--------------------------] 19/9441[debug] /sqlite/src/memdb.c:573:10 ExecutionResult: Failed42
       [######--------------------------] 20/9443[debug] /sqlite/src/memdb.c:240:5 ExecutionResult: Passed44[debug] /sqlite/src/memdb.c:221:20 ExecutionResult: Passed45[debug] /sqlite/src/memdb.c:285:11 ExecutionResult: Failed46
       [#######-------------------------] 23/9447[debug] /sqlite/src/memdb.c:311:15 ExecutionResult: Failed48
       [########------------------------] 24/9449[debug] /sqlite/src/memdb.c:602:7 ExecutionResult: Passed50[debug] /sqlite/src/memdb.c:560:10 ExecutionResult: Passed51
       [########------------------------] 26/9452[debug] /sqlite/src/memdb.c:937:9 ExecutionResult: Passed53[debug] /sqlite/src/memdb.c:566:5 ExecutionResult: Passed54[debug] /sqlite/src/memdb.c:591:16 ExecutionResult: Failed55
       [#########-----------------------] 29/9456[debug] /sqlite/src/memdb.c:619:24 ExecutionResult: Passed57[debug] /sqlite/src/memdb.c:474:15 ExecutionResult: Passed58[debug] /sqlite/src/memdb.c:581:49 ExecutionResult: Passed59[debug] /sqlite/src/memdb.c:317:11 ExecutionResult: Failed60[debug] /sqlite/src/memdb.c:468:9 ExecutionResult: Failed61
       [###########---------------------] 34/9462[debug] /sqlite/src/memdb.c:481:14 ExecutionResult: Failed63
       [###########---------------------] 35/9464[debug] /sqlite/src/memdb.c:279:12 ExecutionResult: Failed65
       [############--------------------] 36/9466[debug] /sqlite/src/memdb.c:308:17 ExecutionResult: Failed67
       [############--------------------] 37/9468[debug] /sqlite/src/memdb.c:241:5 ExecutionResult: Passed69[debug] /sqlite/src/memdb.c:287:14 ExecutionResult: Passed70
       [#############-------------------] 39/9471[debug] /sqlite/src/memdb.c:582:16 ExecutionResult: Failed72[debug] /sqlite/src/memdb.c:311:36 ExecutionResult: Failed73
       [#############-------------------] 41/9474[debug] /sqlite/src/memdb.c:938:22 ExecutionResult: Passed75[debug] /sqlite/src/memdb.c:560:12 ExecutionResult: Passed76[debug] /sqlite/src/memdb.c:567:10 ExecutionResult: Passed77
       [##############------------------] 43/9478[debug] /sqlite/src/memdb.c:593:38 ExecutionResult: Passed79[debug] /sqlite/src/memdb.c:475:17 ExecutionResult: Failed80
       [###############-----------------] 46/9481[debug] /sqlite/src/memdb.c:317:18 ExecutionResult: Failed82[debug] /sqlite/src/memdb.c:222:54 ExecutionResult: Failed83[debug] /sqlite/src/memdb.c:470:8 ExecutionResult: Failed84[debug] /sqlite/src/memdb.c:482:27 ExecutionResult: Failed85
       [#################---------------] 50/9486[debug] /sqlite/src/memdb.c:575:37 ExecutionResult: Failed87
       [#################---------------] 51/9488[debug] /sqlite/src/memdb.c:311:43 ExecutionResult: Failed89
       [#################---------------] 52/9490[debug] /sqlite/src/memdb.c:561:13 ExecutionResult: Passed91
       [##################--------------] 53/9492[debug] /sqlite/src/memdb.c:242:5 ExecutionResult: Passed93[debug] /sqlite/src/memdb.c:301:3 ExecutionResult: Passed94[debug] /sqlite/src/memdb.c:575:51 ExecutionResult: Passed95
       [###################-------------] 56/9496[debug] /sqlite/src/memdb.c:223:32 ExecutionResult: Passed97
       [###################-------------] 57/9498[debug] /sqlite/src/memdb.c:282:9 ExecutionResult: Failed99[debug] /sqlite/src/memdb.c:939:10 ExecutionResult: Failed100
       [####################------------] 59/94101[debug] /sqlite/src/memdb.c:475:17 ExecutionResult: Passed102[debug] /sqlite/src/memdb.c:595:20 ExecutionResult: Failed103
       [####################------------] 61/94104[debug] /sqlite/src/memdb.c:472:9 ExecutionResult: Failed105[debug] /sqlite/src/memdb.c:310:14 ExecutionResult: Failed106
       [#####################-----------] 63/94107[debug] /sqlite/src/memdb.c:483:8 ExecutionResult: Failed108
       [#####################-----------] 64/94109[debug] /sqlite/src/memdb.c:587:30 ExecutionResult: Failed110
       [######################----------] 65/94111[debug] /sqlite/src/memdb.c:316:14 ExecutionResult: Passed112
       [######################----------] 66/94113[debug] /sqlite/src/memdb.c:224:13 ExecutionResult: Passed114
       [######################----------] 67/94115[debug] /sqlite/src/memdb.c:567:15 ExecutionResult: Failed116
       [#######################---------] 68/94117[debug] /sqlite/src/memdb.c:561:13 ExecutionResult: Passed118[debug] /sqlite/src/memdb.c:476:16 ExecutionResult: Failed119
       [#######################---------] 70/94120[debug] /sqlite/src/memdb.c:276:18 ExecutionResult: Passed121
       [########################--------] 71/94122[debug] /sqlite/src/memdb.c:473:19 ExecutionResult: Failed123[debug] /sqlite/src/memdb.c:310:19 ExecutionResult: Passed124[debug] /sqlite/src/memdb.c:576:12 ExecutionResult: Failed125
       [#########################-------] 74/94126[debug] /sqlite/src/memdb.c:283:12 ExecutionResult: Passed127
       [#########################-------] 75/94128[debug] /sqlite/src/memdb.c:308:12 ExecutionResult: Failed129
       [#########################-------] 76/94130[debug] /sqlite/src/memdb.c:567:15 ExecutionResult: Failed131
       [##########################------] 77/94132[debug] /sqlite/src/memdb.c:310:19 ExecutionResult: Failed133
       [##########################------] 78/94134[debug] /sqlite/src/memdb.c:231:5 ExecutionResult: Timedout135
       [##########################------] 79/94136[debug] /sqlite/src/memdb.c:235:10 ExecutionResult: Passed137
       [###########################-----] 80/94138[debug] /sqlite/src/memdb.c:199:3 ExecutionResult: Timedout139
       [###########################-----] 81/94140[debug] /sqlite/src/memdb.c:236:14 ExecutionResult: Passed141
       [###########################-----] 82/94142[debug] /sqlite/src/memdb.c:217:5 ExecutionResult: Passed143
       [############################----] 83/94144[debug] /sqlite/src/memdb.c:236:14 ExecutionResult: Passed145
       [############################----] 84/94146[debug] /sqlite/src/memdb.c:607:5 ExecutionResult: Timedout147[debug] /sqlite/src/memdb.c:218:10 ExecutionResult: Passed148
       [#############################---] 86/94149[debug] /sqlite/src/memdb.c:622:3 ExecutionResult: Timedout150
       [#############################---] 87/94151[debug] /sqlite/src/memdb.c:237:19 ExecutionResult: Passed152
       [#############################---] 88/94153[debug] /sqlite/src/memdb.c:618:16 ExecutionResult: Passed154[debug] /sqlite/src/memdb.c:219:32 ExecutionResult: Passed155[debug] /sqlite/src/memdb.c:931:6 ExecutionResult: Passed156
       [##############################--] 91/94157[debug] /sqlite/src/memdb.c:320:3 ExecutionResult: Timedout158
       [###############################-] 92/94159[debug] /sqlite/src/memdb.c:485:3 ExecutionResult: Timedout160
       [###############################-] 93/94161[debug] /sqlite/src/memdb.c:466:7 ExecutionResult: Failed162
       [################################] 94/94. Finished in 3054ms163[debug] Done running mutants164[info] Survived mutants (51/94):165/sqlite/src/memdb.c:196:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]166  sqlite3_mutex_enter(p->pMutex);167  ^168/sqlite/src/memdb.c:217:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]169    sqlite3_mutex_enter(pVfsMutex);170    ^171/sqlite/src/memdb.c:218:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]172    for(i=0; ALWAYS(i<memdb_g.nMemStore); i++){173         ^174/sqlite/src/memdb.c:219:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]175      if( memdb_g.apMemStore[i]==p ){176                               ^177/sqlite/src/memdb.c:220:9: warning: Survived: Removed the call to the function [cxx_remove_void_call]178        memdbEnter(p);179        ^180/sqlite/src/memdb.c:221:20: warning: Survived: Replaced == with != [cxx_eq_to_ne]181        if( p->nRef==1 ){182                   ^183/sqlite/src/memdb.c:223:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]184          if( memdb_g.nMemStore==0 ){185                               ^186/sqlite/src/memdb.c:224:13: warning: Survived: Removed the call to the function [cxx_remove_void_call]187            sqlite3_free(memdb_g.apMemStore);188            ^189/sqlite/src/memdb.c:235:10: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]190  p->nRef--;191         ^192/sqlite/src/memdb.c:236:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]193  if( p->nRef<=0 ){194             ^195/sqlite/src/memdb.c:236:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]196  if( p->nRef<=0 ){197             ^198/sqlite/src/memdb.c:237:19: warning: Survived: Replaced & with | [cxx_and_to_or]199    if( p->mFlags & SQLITE_DESERIALIZE_FREEONCLOSE ){200                  ^201/sqlite/src/memdb.c:238:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]202      sqlite3_free(p->aData);203      ^204/sqlite/src/memdb.c:240:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]205    memdbLeave(p);206    ^207/sqlite/src/memdb.c:241:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]208    sqlite3_mutex_free(p->pMutex);209    ^210/sqlite/src/memdb.c:242:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]211    sqlite3_free(p);212    ^213/sqlite/src/memdb.c:276:18: warning: Survived: Replaced & with | [cxx_and_to_or]214  if( (p->mFlags & SQLITE_DESERIALIZE_RESIZEABLE)==0 || NEVER(p->nMmap>0) ){215                 ^216/sqlite/src/memdb.c:279:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]217  if( newSz>p->szMax ){218           ^219/sqlite/src/memdb.c:283:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]220  if( newSz>p->szMax ) newSz = p->szMax;221           ^222/sqlite/src/memdb.c:283:12: warning: Survived: Replaced > with <= [cxx_gt_to_le]223  if( newSz>p->szMax ) newSz = p->szMax;224           ^225/sqlite/src/memdb.c:287:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]226  p->szAlloc = newSz;227             ^228/sqlite/src/memdb.c:301:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]229  memdbEnter(p);230  ^231/sqlite/src/memdb.c:308:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]232  if( iOfst+iAmt>p->sz ){233                ^234/sqlite/src/memdb.c:310:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]235    if( iOfst+iAmt>p->szAlloc236                  ^237/sqlite/src/memdb.c:311:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]238     && (rc = memdbEnlarge(p, iOfst+iAmt))!=SQLITE_OK239            ^240/sqlite/src/memdb.c:316:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]241    if( iOfst>p->sz ) memset(p->aData+p->sz, 0, iOfst-p->sz);242             ^243/sqlite/src/memdb.c:316:14: warning: Survived: Replaced > with <= [cxx_gt_to_le]244    if( iOfst>p->sz ) memset(p->aData+p->sz, 0, iOfst-p->sz);245             ^246/sqlite/src/memdb.c:467:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]247  memdbEnter(p);248  ^249/sqlite/src/memdb.c:474:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]250    if( iLimit<p->sz ){251              ^252/sqlite/src/memdb.c:475:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]253      if( iLimit<0 ){254                ^255/sqlite/src/memdb.c:560:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]256  szName = sqlite3Strlen30(zName);257         ^258/sqlite/src/memdb.c:560:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]259  szName = sqlite3Strlen30(zName);260           ^261/sqlite/src/memdb.c:561:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]262  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){263            ^264/sqlite/src/memdb.c:561:13: warning: Survived: Replaced > with <= [cxx_gt_to_le]265  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){266            ^267/sqlite/src/memdb.c:561:28: warning: Survived: Replaced == with != [cxx_eq_to_ne]268  if( szName>1 && (zName[0]=='/' || zName[0]=='\\') ){269                           ^270/sqlite/src/memdb.c:566:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]271    sqlite3_mutex_enter(pVfsMutex);272    ^273/sqlite/src/memdb.c:567:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]274    for(i=0; i<memdb_g.nMemStore; i++){275         ^276/sqlite/src/memdb.c:575:51: warning: Survived: Replaced + with - [cxx_add_to_sub]277      p = sqlite3Malloc( sizeof(*p) + (i64)szName + 3 );278                                                  ^279/sqlite/src/memdb.c:581:46: warning: Survived: Replaced * with / [cxx_mul_to_div]280                             sizeof(apNew[0])*(1+(i64)memdb_g.nMemStore) );281                                             ^282/sqlite/src/memdb.c:581:49: warning: Survived: Replaced + with - [cxx_add_to_sub]283                             sizeof(apNew[0])*(1+(i64)memdb_g.nMemStore) );284                                                ^285/sqlite/src/memdb.c:590:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]286      p->mFlags = SQLITE_DESERIALIZE_RESIZEABLE|SQLITE_DESERIALIZE_FREEONCLOSE;287                ^288/sqlite/src/memdb.c:593:38: warning: Survived: Replaced + with - [cxx_add_to_sub]289      memcpy(p->zFName, zName, szName+1);290                                     ^291/sqlite/src/memdb.c:601:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]292      p->nRef = 1;293              ^294/sqlite/src/memdb.c:602:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]295      memdbEnter(p);296      ^297/sqlite/src/memdb.c:618:16: warning: Survived: Replaced != with == [cxx_ne_to_eq]298  if( pOutFlags!=0 ){299               ^300/sqlite/src/memdb.c:619:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]301    *pOutFlags = flags | SQLITE_OPEN_MEMORY;302               ^303/sqlite/src/memdb.c:619:24: warning: Survived: Replaced | with & [cxx_or_to_and]304    *pOutFlags = flags | SQLITE_OPEN_MEMORY;305                       ^306/sqlite/src/memdb.c:931:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]307  sz = pLower->szOsFile;308     ^309/sqlite/src/memdb.c:937:9: warning: Survived: Replaced < with >= [cxx_lt_to_ge]310  if( sz<sizeof(MemFile) ) sz = sizeof(MemFile); /*NO_TEST*/311        ^312/sqlite/src/memdb.c:937:9: warning: Survived: Replaced < with <= [cxx_lt_to_le]313  if( sz<sizeof(MemFile) ) sz = sizeof(MemFile); /*NO_TEST*/314        ^315/sqlite/src/memdb.c:938:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]316  memdb_vfs.szOsFile = sz;317                     ^318[info] Mutation score: 45%319[info] Total execution time: 3372ms320[info] Surviving mutants: 51321