CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_backup_sqlite3BtreeCopyFile.out423 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 108ms7[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/backup.c:236:31 ExecutionResult: Failed15[debug] /sqlite/src/backup.c:114:6 ExecutionResult: Passed16[debug] /sqlite/src/backup.c:255:26 ExecutionResult: Failed17
       [--------------------------------] 3/14018[debug] /sqlite/src/backup.c:271:15 ExecutionResult: Passed19[debug] /sqlite/src/backup.c:251:64 ExecutionResult: Failed20
       [#-------------------------------] 5/14021[debug] /sqlite/src/backup.c:394:12 ExecutionResult: Failed22[debug] /sqlite/src/backup.c:350:11 ExecutionResult: Passed23
       [#-------------------------------] 7/14024[debug] /sqlite/src/backup.c:603:14 ExecutionResult: Failed25[debug] /sqlite/src/backup.c:375:15 ExecutionResult: Failed26[debug] /sqlite/src/backup.c:563:3 ExecutionResult: Passed27[debug] /sqlite/src/backup.c:423:62 ExecutionResult: Passed28
       [##------------------------------] 11/14029[debug] /sqlite/src/backup.c:535:22 ExecutionResult: Failed30[debug] /sqlite/src/backup.c:379:45 ExecutionResult: Passed31[debug] /sqlite/src/backup.c:366:18 ExecutionResult: Failed32[debug] /sqlite/src/backup.c:323:3 ExecutionResult: Passed33[debug] /sqlite/src/backup.c:406:12 ExecutionResult: Failed34
       [###-----------------------------] 16/14035[debug] /sqlite/src/backup.c:402:11 ExecutionResult: Failed36[debug] /sqlite/src/backup.c:390:21 ExecutionResult: Passed37
       [####----------------------------] 18/14038[debug] /sqlite/src/backup.c:456:36 ExecutionResult: Passed39
       [####----------------------------] 19/14040[debug] /sqlite/src/backup.c:754:6 ExecutionResult: Failed41
       [####----------------------------] 20/14042[debug] /sqlite/src/backup.c:114:8 ExecutionResult: Passed43
       [####----------------------------] 21/14044[debug] /sqlite/src/backup.c:237:7 ExecutionResult: Failed45[debug] /sqlite/src/backup.c:253:10 ExecutionResult: Failed46[debug] /sqlite/src/backup.c:271:29 ExecutionResult: Passed47
       [#####---------------------------] 24/14048[debug] /sqlite/src/backup.c:256:18 ExecutionResult: Failed49
       [#####---------------------------] 25/14050[debug] /sqlite/src/backup.c:394:14 ExecutionResult: Failed51[debug] /sqlite/src/backup.c:610:3 ExecutionResult: Passed52
       [######--------------------------] 27/14053[debug] /sqlite/src/backup.c:350:41 ExecutionResult: Passed54[debug] /sqlite/src/backup.c:376:14 ExecutionResult: Failed55[debug] /sqlite/src/backup.c:564:3 ExecutionResult: Passed56
       [######--------------------------] 30/14057[debug] /sqlite/src/backup.c:417:11 ExecutionResult: Failed58[debug] /sqlite/src/backup.c:425:13 ExecutionResult: Passed59[debug] /sqlite/src/backup.c:536:22 ExecutionResult: Passed60[debug] /sqlite/src/backup.c:366:40 ExecutionResult: Failed61
       [#######-------------------------] 34/14062[debug] /sqlite/src/backup.c:324:3 ExecutionResult: Passed63
       [########------------------------] 35/14064[debug] /sqlite/src/backup.c:390:29 ExecutionResult: Failed65
       [########------------------------] 36/14066[debug] /sqlite/src/backup.c:456:46 ExecutionResult: Passed67[debug] /sqlite/src/backup.c:403:21 ExecutionResult: Passed68
       [########------------------------] 38/14069[debug] /sqlite/src/backup.c:754:8 ExecutionResult: Failed70[debug] /sqlite/src/backup.c:114:41 ExecutionResult: Passed71
       [#########-----------------------] 40/14072[debug] /sqlite/src/backup.c:380:16 ExecutionResult: Failed73[debug] /sqlite/src/backup.c:251:11 ExecutionResult: Failed74
       [#########-----------------------] 42/14075[debug] /sqlite/src/backup.c:253:29 ExecutionResult: Failed76
       [#########-----------------------] 43/14077[debug] /sqlite/src/backup.c:256:24 ExecutionResult: Failed78[debug] /sqlite/src/backup.c:272:9 ExecutionResult: Passed79
       [##########----------------------] 45/14080[debug] /sqlite/src/backup.c:395:15 ExecutionResult: Failed81[debug] /sqlite/src/backup.c:617:3 ExecutionResult: Passed82[debug] /sqlite/src/backup.c:350:43 ExecutionResult: Passed83
       [##########----------------------] 48/14084[debug] /sqlite/src/backup.c:429:21 ExecutionResult: Passed85[debug] /sqlite/src/backup.c:418:19 ExecutionResult: Failed86
       [###########---------------------] 50/14087[debug] /sqlite/src/backup.c:536:28 ExecutionResult: Passed88[debug] /sqlite/src/backup.c:367:18 ExecutionResult: Passed89[debug] /sqlite/src/backup.c:329:6 ExecutionResult: Failed90
       [############--------------------] 53/14091[debug] /sqlite/src/backup.c:390:29 ExecutionResult: Passed92
       [############--------------------] 54/14093[debug] /sqlite/src/backup.c:577:8 ExecutionResult: Failed94
       [############--------------------] 55/14095[debug] /sqlite/src/backup.c:404:21 ExecutionResult: Passed96
       [############--------------------] 56/14097[debug] /sqlite/src/backup.c:755:9 ExecutionResult: Passed98[debug] /sqlite/src/backup.c:376:16 ExecutionResult: Failed99
       [#############-------------------] 58/140100[debug] /sqlite/src/backup.c:218:13 ExecutionResult: Failed101
       [#############-------------------] 59/140102[debug] /sqlite/src/backup.c:251:16 ExecutionResult: Failed103[debug] /sqlite/src/backup.c:253:40 ExecutionResult: Failed104
       [#############-------------------] 61/140105[debug] /sqlite/src/backup.c:272:36 ExecutionResult: Failed106[debug] /sqlite/src/backup.c:256:26 ExecutionResult: Failed107[debug] /sqlite/src/backup.c:382:10 ExecutionResult: Failed108
       [##############------------------] 64/140109[debug] /sqlite/src/backup.c:361:23 ExecutionResult: Passed110[debug] /sqlite/src/backup.c:722:3 ExecutionResult: Passed111
       [###############-----------------] 66/140112[debug] /sqlite/src/backup.c:433:13 ExecutionResult: Failed113[debug] /sqlite/src/backup.c:422:13 ExecutionResult: Passed114
       [###############-----------------] 68/140115[debug] /sqlite/src/backup.c:536:30 ExecutionResult: Failed116[debug] /sqlite/src/backup.c:460:20 ExecutionResult: Failed117[debug] /sqlite/src/backup.c:330:8 ExecutionResult: Failed118
       [################----------------] 71/140119[debug] /sqlite/src/backup.c:367:24 ExecutionResult: Failed120[debug] /sqlite/src/backup.c:396:14 ExecutionResult: Failed121
       [################----------------] 73/140122[debug] /sqlite/src/backup.c:579:3 ExecutionResult: Passed123[debug] /sqlite/src/backup.c:390:48 ExecutionResult: Failed124
       [#################---------------] 75/140125[debug] /sqlite/src/backup.c:404:31 ExecutionResult: Passed126
       [#################---------------] 76/140127[debug] /sqlite/src/backup.c:233:24 ExecutionResult: Failed128[debug] /sqlite/src/backup.c:377:14 ExecutionResult: Passed129[debug] /sqlite/src/backup.c:251:34 ExecutionResult: Failed130[debug] /sqlite/src/backup.c:254:14 ExecutionResult: Failed131
       [##################--------------] 80/140132[debug] /sqlite/src/backup.c:275:5 ExecutionResult: Passed133[debug] /sqlite/src/backup.c:361:32 ExecutionResult: Passed134
       [##################--------------] 82/140135[debug] /sqlite/src/backup.c:723:3 ExecutionResult: Passed136
       [##################--------------] 83/140137[debug] /sqlite/src/backup.c:449:20 ExecutionResult: Passed138[debug] /sqlite/src/backup.c:422:30 ExecutionResult: Failed139[debug] /sqlite/src/backup.c:538:14 ExecutionResult: Failed140
       [###################-------------] 86/140141[debug] /sqlite/src/backup.c:334:9 ExecutionResult: Passed142
       [###################-------------] 87/140143[debug] /sqlite/src/backup.c:367:26 ExecutionResult: Failed144[debug] /sqlite/src/backup.c:396:16 ExecutionResult: Failed145
       [####################------------] 89/140146[debug] /sqlite/src/backup.c:390:48 ExecutionResult: Failed147[debug] /sqlite/src/backup.c:580:3 ExecutionResult: Passed148
       [####################------------] 91/140149[debug] /sqlite/src/backup.c:756:24 ExecutionResult: Failed150
       [#####################-----------] 92/140151[debug] /sqlite/src/backup.c:404:33 ExecutionResult: Passed152
       [#####################-----------] 93/140153[debug] /sqlite/src/backup.c:388:14 ExecutionResult: Passed154[debug] /sqlite/src/backup.c:258:37 ExecutionResult: Failed155
       [#####################-----------] 95/140156[debug] /sqlite/src/backup.c:460:20 ExecutionResult: Failed157[debug] /sqlite/src/backup.c:377:16 ExecutionResult: Passed158[debug] /sqlite/src/backup.c:251:53 ExecutionResult: Failed159
       [######################----------] 98/140160[debug] /sqlite/src/backup.c:234:7 ExecutionResult: Failed161[debug] /sqlite/src/backup.c:255:18 ExecutionResult: Failed162
       [######################----------] 100/140163[debug] /sqlite/src/backup.c:361:47 ExecutionResult: Passed164
       [#######################---------] 101/140165[debug] /sqlite/src/backup.c:317:7 ExecutionResult: Passed166
       [#######################---------] 102/140167[debug] /sqlite/src/backup.c:743:11 ExecutionResult: Failed168
       [#######################---------] 103/140169[debug] /sqlite/src/backup.c:449:20 ExecutionResult: Passed170[debug] /sqlite/src/backup.c:423:12 ExecutionResult: Failed171
       [########################--------] 105/140172[debug] /sqlite/src/backup.c:555:11 ExecutionResult: Failed173
       [########################--------] 106/140174[debug] /sqlite/src/backup.c:370:22 ExecutionResult: Passed175[debug] /sqlite/src/backup.c:335:9 ExecutionResult: Passed176[debug] /sqlite/src/backup.c:397:11 ExecutionResult: Passed177
       [########################--------] 109/140178[debug] /sqlite/src/backup.c:758:5 ExecutionResult: Passed179[debug] /sqlite/src/backup.c:390:75 ExecutionResult: Passed180
       [#########################-------] 111/140181[debug] /sqlite/src/backup.c:600:3 ExecutionResult: Passed182
       [#########################-------] 112/140183[debug] /sqlite/src/backup.c:260:33 ExecutionResult: Failed184
       [#########################-------] 113/140185[debug] /sqlite/src/backup.c:405:19 ExecutionResult: Passed186[debug] /sqlite/src/backup.c:388:21 ExecutionResult: Passed187
       [##########################------] 115/140188[debug] /sqlite/src/backup.c:530:11 ExecutionResult: Passed189
       [##########################------] 116/140190[debug] /sqlite/src/backup.c:251:53 ExecutionResult: Passed191[debug] /sqlite/src/backup.c:255:24 ExecutionResult: Passed192[debug] /sqlite/src/backup.c:361:61 ExecutionResult: Failed193
       [###########################-----] 119/140194[debug] /sqlite/src/backup.c:318:7 ExecutionResult: Passed195
       [###########################-----] 120/140196[debug] /sqlite/src/backup.c:234:19 ExecutionResult: Failed197[debug] /sqlite/src/backup.c:751:3 ExecutionResult: Failed198
       [###########################-----] 122/140199[debug] /sqlite/src/backup.c:558:11 ExecutionResult: Failed200[debug] /sqlite/src/backup.c:456:25 ExecutionResult: Passed201[debug] /sqlite/src/backup.c:343:10 ExecutionResult: Failed202[debug] /sqlite/src/backup.c:603:6 ExecutionResult: Failed203[debug] /sqlite/src/backup.c:375:13 ExecutionResult: Failed204[debug] /sqlite/src/backup.c:423:14 ExecutionResult: Failed205[debug] /sqlite/src/backup.c:400:15 ExecutionResult: Failed206
       [#############################---] 129/140207[debug] /sqlite/src/backup.c:392:17 ExecutionResult: Failed208[debug] /sqlite/src/backup.c:378:18 ExecutionResult: Failed209
       [#############################---] 131/140210[debug] /sqlite/src/backup.c:270:48 ExecutionResult: Failed211[debug] /sqlite/src/backup.c:763:3 ExecutionResult: Passed212[debug] /sqlite/src/backup.c:405:19 ExecutionResult: Failed213
       [##############################--] 134/140214[debug] /sqlite/src/backup.c:531:14 ExecutionResult: Failed215[debug] /sqlite/src/backup.c:390:11 ExecutionResult: Passed216
       [###############################-] 136/140217[debug] /sqlite/src/backup.c:379:18 ExecutionResult: Passed218[debug] /sqlite/src/backup.c:764:3 ExecutionResult: Passed219
       [###############################-] 138/140220[debug] /sqlite/src/backup.c:531:16 ExecutionResult: Failed221[debug] /sqlite/src/backup.c:390:21 ExecutionResult: Passed222
       [################################] 140/140. Finished in 1463ms223[debug] Done running mutants224[info] Survived mutants (65/140):225/sqlite/src/backup.c:114:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]226  rc = sqlite3BtreeSetPageSize(p->pDest,sqlite3BtreeGetPageSize(p->pSrc),0,0);227     ^228/sqlite/src/backup.c:114:8: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]229  rc = sqlite3BtreeSetPageSize(p->pDest,sqlite3BtreeGetPageSize(p->pSrc),0,0);230       ^231/sqlite/src/backup.c:114:41: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]232  rc = sqlite3BtreeSetPageSize(p->pDest,sqlite3BtreeGetPageSize(p->pSrc),0,0);233                                        ^234/sqlite/src/backup.c:251:53: warning: Survived: Replaced < with <= [cxx_lt_to_le]235  for(iOff=iEnd-(i64)nSrcPgsz; rc==SQLITE_OK && iOff<iEnd; iOff+=nDestPgsz){236                                                    ^237/sqlite/src/backup.c:255:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]238    if( SQLITE_OK==(rc = sqlite3PagerGet(pDestPager, iDest, &pDestPg, 0))239                       ^240/sqlite/src/backup.c:271:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]241      if( iOff==0 && bUpdate==0 ){242              ^243/sqlite/src/backup.c:271:29: warning: Survived: Replaced == with != [cxx_eq_to_ne]244      if( iOff==0 && bUpdate==0 ){245                            ^246/sqlite/src/backup.c:272:9: warning: Survived: Removed the call to the function [cxx_remove_void_call]247        sqlite3Put4byte(&zOut[28], sqlite3BtreeLastPage(p->pSrc));248        ^249/sqlite/src/backup.c:275:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]250    sqlite3PagerUnref(pDestPg);251    ^252/sqlite/src/backup.c:317:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]253  int pgszSrc = 0;    /* Source page size */254      ^255/sqlite/src/backup.c:318:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]256  int pgszDest = 0;   /* Destination page size */257      ^258/sqlite/src/backup.c:323:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]259  sqlite3_mutex_enter(p->pSrcDb->mutex);260  ^261/sqlite/src/backup.c:324:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]262  sqlite3BtreeEnter(p->pSrc);263  ^264/sqlite/src/backup.c:334:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]265    int nSrcPage = -1;                 /* Size of source db in pages */266        ^267/sqlite/src/backup.c:335:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]268    int bCloseTrans = 0;               /* True if src db requires unlocking */269        ^270/sqlite/src/backup.c:350:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]271    if( rc==SQLITE_OK && SQLITE_TXN_NONE==sqlite3BtreeTxnState(p->pSrc) ){272          ^273/sqlite/src/backup.c:350:41: warning: Survived: Replaced == with != [cxx_eq_to_ne]274    if( rc==SQLITE_OK && SQLITE_TXN_NONE==sqlite3BtreeTxnState(p->pSrc) ){275                                        ^276/sqlite/src/backup.c:350:43: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]277    if( rc==SQLITE_OK && SQLITE_TXN_NONE==sqlite3BtreeTxnState(p->pSrc) ){278                                          ^279/sqlite/src/backup.c:361:23: warning: Survived: Replaced == with != [cxx_eq_to_ne]280    if( p->bDestLocked==0 && rc==SQLITE_OK && setDestPgsz(p)==SQLITE_NOMEM ){281                      ^282/sqlite/src/backup.c:361:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]283    if( p->bDestLocked==0 && rc==SQLITE_OK && setDestPgsz(p)==SQLITE_NOMEM ){284                               ^285/sqlite/src/backup.c:361:47: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]286    if( p->bDestLocked==0 && rc==SQLITE_OK && setDestPgsz(p)==SQLITE_NOMEM ){287                                              ^288/sqlite/src/backup.c:367:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]289     && SQLITE_OK==(rc = sqlite3BtreeBeginTrans(p->pDest, 2,290                 ^291/sqlite/src/backup.c:370:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]292      p->bDestLocked = 1;293                     ^294/sqlite/src/backup.c:377:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]295    destMode = sqlite3PagerGetJournalMode(sqlite3BtreePager(p->pDest));296             ^297/sqlite/src/backup.c:377:16: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]298    destMode = sqlite3PagerGetJournalMode(sqlite3BtreePager(p->pDest));299               ^300/sqlite/src/backup.c:379:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]301     && (destMode==PAGER_JOURNALMODE_WAL || sqlite3PagerIsMemdb(pDestPager))302                 ^303/sqlite/src/backup.c:379:45: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]304     && (destMode==PAGER_JOURNALMODE_WAL || sqlite3PagerIsMemdb(pDestPager))305                                            ^306/sqlite/src/backup.c:388:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]307    nSrcPage = (int)sqlite3BtreeLastPage(p->pSrc);308             ^309/sqlite/src/backup.c:388:21: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]310    nSrcPage = (int)sqlite3BtreeLastPage(p->pSrc);311                    ^312/sqlite/src/backup.c:390:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]313    for(ii=0; (nPage<0 || ii<nPage) && p->iNext<=(Pgno)nSrcPage && !rc; ii++){314          ^315/sqlite/src/backup.c:390:21: warning: Survived: Replaced < with >= [cxx_lt_to_ge]316    for(ii=0; (nPage<0 || ii<nPage) && p->iNext<=(Pgno)nSrcPage && !rc; ii++){317                    ^318/sqlite/src/backup.c:390:21: warning: Survived: Replaced < with <= [cxx_lt_to_le]319    for(ii=0; (nPage<0 || ii<nPage) && p->iNext<=(Pgno)nSrcPage && !rc; ii++){320                    ^321/sqlite/src/backup.c:390:29: warning: Survived: Replaced < with <= [cxx_lt_to_le]322    for(ii=0; (nPage<0 || ii<nPage) && p->iNext<=(Pgno)nSrcPage && !rc; ii++){323                            ^324/sqlite/src/backup.c:390:75: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]325    for(ii=0; (nPage<0 || ii<nPage) && p->iNext<=(Pgno)nSrcPage && !rc; ii++){326                                                                          ^327/sqlite/src/backup.c:397:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]328          sqlite3PagerUnref(pSrcPg);329          ^330/sqlite/src/backup.c:403:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]331      p->nPagecount = nSrcPage;332                    ^333/sqlite/src/backup.c:404:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]334      p->nRemaining = nSrcPage+1-p->iNext;335                    ^336/sqlite/src/backup.c:404:31: warning: Survived: Replaced + with - [cxx_add_to_sub]337      p->nRemaining = nSrcPage+1-p->iNext;338                              ^339/sqlite/src/backup.c:404:33: warning: Survived: Replaced - with + [cxx_sub_to_add]340      p->nRemaining = nSrcPage+1-p->iNext;341                                ^342/sqlite/src/backup.c:405:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]343      if( p->iNext>(Pgno)nSrcPage ){344                  ^345/sqlite/src/backup.c:422:13: warning: Survived: Replaced == with != [cxx_eq_to_ne]346      if( rc==SQLITE_OK || rc==SQLITE_DONE ){347            ^348/sqlite/src/backup.c:423:62: warning: Survived: Replaced + with - [cxx_add_to_sub]349        rc = sqlite3BtreeUpdateMeta(p->pDest,1,p->iDestSchema+1);350                                                             ^351/sqlite/src/backup.c:425:13: warning: Survived: Replaced == with != [cxx_eq_to_ne]352      if( rc==SQLITE_OK ){353            ^354/sqlite/src/backup.c:429:21: warning: Survived: Replaced == with != [cxx_eq_to_ne]355        if( destMode==PAGER_JOURNALMODE_WAL ){356                    ^357/sqlite/src/backup.c:449:20: warning: Survived: Replaced < with >= [cxx_lt_to_ge]358        if( pgszSrc<pgszDest ){359                   ^360/sqlite/src/backup.c:449:20: warning: Survived: Replaced < with <= [cxx_lt_to_le]361        if( pgszSrc<pgszDest ){362                   ^363/sqlite/src/backup.c:456:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]364          nDestTruncate = nSrcPage * (pgszSrc/pgszDest);365                        ^366/sqlite/src/backup.c:456:36: warning: Survived: Replaced * with / [cxx_mul_to_div]367          nDestTruncate = nSrcPage * (pgszSrc/pgszDest);368                                   ^369/sqlite/src/backup.c:456:46: warning: Survived: Replaced / with * [cxx_div_to_mul]370          nDestTruncate = nSrcPage * (pgszSrc/pgszDest);371                                             ^372/sqlite/src/backup.c:530:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]373          sqlite3PagerTruncateImage(pDestPager, nDestTruncate);374          ^375/sqlite/src/backup.c:536:22: warning: Survived: Replaced == with != [cxx_eq_to_ne]376         && SQLITE_OK==(rc = sqlite3BtreeCommitPhaseTwo(p->pDest, 0))377                     ^378/sqlite/src/backup.c:536:28: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]379         && SQLITE_OK==(rc = sqlite3BtreeCommitPhaseTwo(p->pDest, 0))380                           ^381/sqlite/src/backup.c:563:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]382  sqlite3BtreeLeave(p->pSrc);383  ^384/sqlite/src/backup.c:564:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]385  sqlite3_mutex_leave(p->pSrcDb->mutex);386  ^387/sqlite/src/backup.c:579:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]388  sqlite3_mutex_enter(pSrcDb->mutex);389  ^390/sqlite/src/backup.c:580:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]391  sqlite3BtreeEnter(p->pSrc);392  ^393/sqlite/src/backup.c:600:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]394  sqlite3BtreeRollback(p->pDest, SQLITE_OK, 0);395  ^396/sqlite/src/backup.c:610:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]397  sqlite3BtreeLeave(p->pSrc);398  ^399/sqlite/src/backup.c:617:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]400  sqlite3LeaveMutexAndCloseZombie(pSrcDb);401  ^402/sqlite/src/backup.c:722:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]403  sqlite3BtreeEnter(pTo);404  ^405/sqlite/src/backup.c:723:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]406  sqlite3BtreeEnter(pFrom);407  ^408/sqlite/src/backup.c:755:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]409  if( rc==SQLITE_OK ){410        ^411/sqlite/src/backup.c:758:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]412    sqlite3PagerClearCache(sqlite3BtreePager(b.pDest));413    ^414/sqlite/src/backup.c:763:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]415  sqlite3BtreeLeave(pFrom);416  ^417/sqlite/src/backup.c:764:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]418  sqlite3BtreeLeave(pTo);419  ^420[info] Mutation score: 53%421[info] Total execution time: 1764ms422[info] Surviving mutants: 65423