CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_rowset_sqlite3RowSetTest.out171 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 103ms7[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 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/rowset.c:140:26 ExecutionResult: Passed15
       [--------------------------------] 1/5716[debug] /sqlite/src/rowset.c:164:14 ExecutionResult: Passed17[debug] /sqlite/src/rowset.c:187:16 ExecutionResult: Passed18
       [#-------------------------------] 3/5719[debug] /sqlite/src/rowset.c:254:16 ExecutionResult: Passed20
       [##------------------------------] 4/5721[debug] /sqlite/src/rowset.c:494:21 ExecutionResult: Failed22[debug] /sqlite/src/rowset.c:142:15 ExecutionResult: Failed23[debug] /sqlite/src/rowset.c:385:13 ExecutionResult: Passed24[debug] /sqlite/src/rowset.c:481:24 ExecutionResult: Passed25
       [###-----------------------------] 7/5726[debug] /sqlite/src/rowset.c:492:15 ExecutionResult: Failed27[debug] /sqlite/src/rowset.c:455:29 ExecutionResult: Failed28[debug] /sqlite/src/rowset.c:253:14 ExecutionResult: Failed29[debug] /sqlite/src/rowset.c:223:14 ExecutionResult: Passed30
       [######--------------------------] 12/5731[debug] /sqlite/src/rowset.c:133:9 ExecutionResult: Failed32
       [#######-------------------------] 13/5733[debug] /sqlite/src/rowset.c:173:3 ExecutionResult: Passed34
       [#######-------------------------] 14/5735[debug] /sqlite/src/rowset.c:192:13 ExecutionResult: Failed36
       [########------------------------] 15/5737[debug] /sqlite/src/rowset.c:284:10 ExecutionResult: Failed38
       [########------------------------] 16/5739[debug] /sqlite/src/rowset.c:292:13 ExecutionResult: Failed40
       [#########-----------------------] 17/5741[debug] /sqlite/src/rowset.c:200:12 ExecutionResult: Failed42
       [##########----------------------] 18/5743[debug] /sqlite/src/rowset.c:293:19 ExecutionResult: Failed44[debug] /sqlite/src/rowset.c:385:30 ExecutionResult: Passed45
       [###########---------------------] 20/5746[debug] /sqlite/src/rowset.c:346:14 ExecutionResult: Failed47[debug] /sqlite/src/rowset.c:157:5 ExecutionResult: Passed48[debug] /sqlite/src/rowset.c:494:21 ExecutionResult: Failed49
       [############--------------------] 23/5750[debug] /sqlite/src/rowset.c:492:15 ExecutionResult: Failed51[debug] /sqlite/src/rowset.c:483:21 ExecutionResult: Failed52[debug] /sqlite/src/rowset.c:455:45 ExecutionResult: Failed53
       [##############------------------] 26/5754[debug] /sqlite/src/rowset.c:466:11 ExecutionResult: Failed55[debug] /sqlite/src/rowset.c:253:14 ExecutionResult: Passed56[debug] /sqlite/src/rowset.c:223:14 ExecutionResult: Passed57
       [################----------------] 29/5758[debug] /sqlite/src/rowset.c:354:43 ExecutionResult: Failed59
       [################----------------] 30/5760[debug] /sqlite/src/rowset.c:140:47 ExecutionResult: Failed61
       [#################---------------] 31/5762[debug] /sqlite/src/rowset.c:174:3 ExecutionResult: Passed63
       [#################---------------] 32/5764[debug] /sqlite/src/rowset.c:198:15 ExecutionResult: Passed65
       [##################--------------] 33/5766[debug] /sqlite/src/rowset.c:256:13 ExecutionResult: Failed67
       [###################-------------] 34/5768[debug] /sqlite/src/rowset.c:133:13 ExecutionResult: Failed69
       [###################-------------] 35/5770[debug] /sqlite/src/rowset.c:350:13 ExecutionResult: Passed71[debug] /sqlite/src/rowset.c:451:13 ExecutionResult: Failed72[debug] /sqlite/src/rowset.c:218:13 ExecutionResult: Failed73
       [#####################-----------] 38/5774[debug] /sqlite/src/rowset.c:254:16 ExecutionResult: Failed75
       [#####################-----------] 39/5776[debug] /sqlite/src/rowset.c:160:13 ExecutionResult: Passed77[debug] /sqlite/src/rowset.c:461:25 ExecutionResult: Failed78
       [#######################---------] 41/5779[debug] /sqlite/src/rowset.c:471:16 ExecutionResult: Failed80[debug] /sqlite/src/rowset.c:226:18 ExecutionResult: Failed81
       [########################--------] 43/5782[debug] /sqlite/src/rowset.c:284:27 ExecutionResult: Failed83
       [########################--------] 44/5784[debug] /sqlite/src/rowset.c:141:16 ExecutionResult: Passed85
       [#########################-------] 45/5786[debug] /sqlite/src/rowset.c:313:5 ExecutionResult: Failed87
       [#########################-------] 46/5788[debug] /sqlite/src/rowset.c:292:13 ExecutionResult: Failed89[debug] /sqlite/src/rowset.c:219:13 ExecutionResult: Failed90
       [##########################------] 48/5791[debug] /sqlite/src/rowset.c:356:10 ExecutionResult: Failed92
       [###########################-----] 49/5793[debug] /sqlite/src/rowset.c:474:20 ExecutionResult: Passed94
       [############################----] 50/5795[debug] /sqlite/src/rowset.c:140:15 ExecutionResult: Failed96
       [############################----] 51/5797[debug] /sqlite/src/rowset.c:263:13 ExecutionResult: Failed98
       [#############################---] 52/5799[debug] /sqlite/src/rowset.c:350:13 ExecutionResult: Failed100
       [#############################---] 53/57101[debug] /sqlite/src/rowset.c:292:51 ExecutionResult: Failed102
       [##############################--] 54/57103[debug] /sqlite/src/rowset.c:363:47 ExecutionResult: Passed104
       [##############################--] 55/57105[debug] /sqlite/src/rowset.c:292:8 ExecutionResult: Failed106
       [###############################-] 56/57107[debug] /sqlite/src/rowset.c:319:5 ExecutionResult: Failed108
       [################################] 57/57. Finished in 832ms109[debug] Done running mutants110[info] Survived mutants (19/57):111/sqlite/src/rowset.c:140:26: warning: Survived: Replaced - with + [cxx_sub_to_add]112    p->nFresh = (u16)((N - ROUND8(sizeof(*p)))/sizeof(struct RowSetEntry));113                         ^114/sqlite/src/rowset.c:141:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]115    p->rsFlags = ROWSET_SORTED;116               ^117/sqlite/src/rowset.c:157:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]118    sqlite3DbFree(p->db, pChunk);119    ^120/sqlite/src/rowset.c:160:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]121  p->nFresh = 0;122            ^123/sqlite/src/rowset.c:164:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]124  p->rsFlags = ROWSET_SORTED;125             ^126/sqlite/src/rowset.c:173:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]127  sqlite3RowSetClear(pArg);128  ^129/sqlite/src/rowset.c:174:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]130  sqlite3DbFree(((RowSet*)pArg)->db, pArg);131  ^132/sqlite/src/rowset.c:187:16: warning: Survived: Replaced == with != [cxx_eq_to_ne]133  if( p->nFresh==0 ){  /*OPTIMIZATION-IF-FALSE*/134               ^135/sqlite/src/rowset.c:198:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]136    p->nFresh = ROWSET_ENTRY_PER_CHUNK;137              ^138/sqlite/src/rowset.c:223:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]139    if( rowid<=pLast->v ){  /*OPTIMIZATION-IF-FALSE*/140             ^141/sqlite/src/rowset.c:223:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]142    if( rowid<=pLast->v ){  /*OPTIMIZATION-IF-FALSE*/143             ^144/sqlite/src/rowset.c:253:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]145    if( pA->v<=pB->v ){146             ^147/sqlite/src/rowset.c:254:16: warning: Survived: Replaced < with <= [cxx_lt_to_le]148      if( pA->v<pB->v ) pTail = pTail->pRight = pA;149               ^150/sqlite/src/rowset.c:350:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]151  if( iDepth>1 ){   /*OPTIMIZATION-IF-TRUE*/152            ^153/sqlite/src/rowset.c:363:47: warning: Survived: Replaced - with + [cxx_sub_to_add]154    p->pRight = rowSetNDeepTree(ppList, iDepth-1);155                                              ^156/sqlite/src/rowset.c:385:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]157  for(iDepth=1; pList; iDepth++){158            ^159/sqlite/src/rowset.c:385:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]160  for(iDepth=1; pList; iDepth++){161                             ^162/sqlite/src/rowset.c:474:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]163          pTree->v = 0;164                   ^165/sqlite/src/rowset.c:481:24: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]166      pRowSet->rsFlags |= ROWSET_SORTED;167                       ^168[info] Mutation score: 66%169[info] Total execution time: 1146ms170[info] Surviving mutants: 19171