CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_rowset_sqlite3RowSetNext.out124 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 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/rowset.c:140:26 ExecutionResult: Passed15[debug] /sqlite/src/rowset.c:173:3 ExecutionResult: Passed16
       [#-------------------------------] 2/4217[debug] /sqlite/src/rowset.c:142:15 ExecutionResult: Passed18[debug] /sqlite/src/rowset.c:187:16 ExecutionResult: Passed19
       [###-----------------------------] 4/4220[debug] /sqlite/src/rowset.c:198:15 ExecutionResult: Passed21
       [###-----------------------------] 5/4222[debug] /sqlite/src/rowset.c:226:18 ExecutionResult: Failed23[debug] /sqlite/src/rowset.c:160:13 ExecutionResult: Passed24
       [#####---------------------------] 7/4225[debug] /sqlite/src/rowset.c:292:51 ExecutionResult: Failed26[debug] /sqlite/src/rowset.c:413:19 ExecutionResult: Failed27
       [######--------------------------] 9/4228[debug] /sqlite/src/rowset.c:424:18 ExecutionResult: Failed29[debug] /sqlite/src/rowset.c:292:13 ExecutionResult: Failed30[debug] /sqlite/src/rowset.c:414:21 ExecutionResult: Failed31[debug] /sqlite/src/rowset.c:218:13 ExecutionResult: Failed32[debug] /sqlite/src/rowset.c:417:16 ExecutionResult: Passed33
       [##########----------------------] 14/4234[debug] /sqlite/src/rowset.c:223:14 ExecutionResult: Passed35[debug] /sqlite/src/rowset.c:253:14 ExecutionResult: Failed36[debug] /sqlite/src/rowset.c:254:16 ExecutionResult: Failed37
       [############--------------------] 17/4238[debug] /sqlite/src/rowset.c:133:9 ExecutionResult: Failed39
       [#############-------------------] 18/4240[debug] /sqlite/src/rowset.c:157:5 ExecutionResult: Passed41[debug] /sqlite/src/rowset.c:192:13 ExecutionResult: Failed42[debug] /sqlite/src/rowset.c:174:3 ExecutionResult: Passed43[debug] /sqlite/src/rowset.c:284:27 ExecutionResult: Failed44
       [################----------------] 22/4245[debug] /sqlite/src/rowset.c:253:14 ExecutionResult: Failed46
       [#################---------------] 23/4247[debug] /sqlite/src/rowset.c:263:13 ExecutionResult: Failed48[debug] /sqlite/src/rowset.c:164:14 ExecutionResult: Passed49
       [###################-------------] 25/4250[debug] /sqlite/src/rowset.c:426:7 ExecutionResult: Passed51[debug] /sqlite/src/rowset.c:413:33 ExecutionResult: Failed52[debug] /sqlite/src/rowset.c:254:16 ExecutionResult: Failed53
       [#####################-----------] 28/4254[debug] /sqlite/src/rowset.c:293:19 ExecutionResult: Failed55
       [######################----------] 29/4256[debug] /sqlite/src/rowset.c:219:13 ExecutionResult: Failed57[debug] /sqlite/src/rowset.c:414:37 ExecutionResult: Failed58[debug] /sqlite/src/rowset.c:422:13 ExecutionResult: Failed59
       [########################--------] 32/4260[debug] /sqlite/src/rowset.c:223:14 ExecutionResult: Passed61
       [#########################-------] 33/4262[debug] /sqlite/src/rowset.c:140:47 ExecutionResult: Failed63
       [#########################-------] 34/4264[debug] /sqlite/src/rowset.c:200:12 ExecutionResult: Failed65
       [##########################------] 35/4266[debug] /sqlite/src/rowset.c:292:8 ExecutionResult: Failed67
       [###########################-----] 36/4268[debug] /sqlite/src/rowset.c:292:13 ExecutionResult: Failed69
       [############################----] 37/4270[debug] /sqlite/src/rowset.c:256:13 ExecutionResult: Failed71
       [############################----] 38/4272[debug] /sqlite/src/rowset.c:133:13 ExecutionResult: Failed73
       [#############################---] 39/4274[debug] /sqlite/src/rowset.c:141:16 ExecutionResult: Failed75
       [##############################--] 40/4276[debug] /sqlite/src/rowset.c:284:10 ExecutionResult: Failed77
       [###############################-] 41/4278[debug] /sqlite/src/rowset.c:140:15 ExecutionResult: Failed79
       [################################] 42/42. Finished in 698ms80[debug] Done running mutants81[info] Survived mutants (13/42):82/sqlite/src/rowset.c:140:26: warning: Survived: Replaced - with + [cxx_sub_to_add]83    p->nFresh = (u16)((N - ROUND8(sizeof(*p)))/sizeof(struct RowSetEntry));84                         ^85/sqlite/src/rowset.c:142:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]86    p->iBatch = 0;87              ^88/sqlite/src/rowset.c:157:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]89    sqlite3DbFree(p->db, pChunk);90    ^91/sqlite/src/rowset.c:160:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]92  p->nFresh = 0;93            ^94/sqlite/src/rowset.c:164:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]95  p->rsFlags = ROWSET_SORTED;96             ^97/sqlite/src/rowset.c:173:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]98  sqlite3RowSetClear(pArg);99  ^100/sqlite/src/rowset.c:174:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]101  sqlite3DbFree(((RowSet*)pArg)->db, pArg);102  ^103/sqlite/src/rowset.c:187:16: warning: Survived: Replaced == with != [cxx_eq_to_ne]104  if( p->nFresh==0 ){  /*OPTIMIZATION-IF-FALSE*/105               ^106/sqlite/src/rowset.c:198:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]107    p->nFresh = ROWSET_ENTRY_PER_CHUNK;108              ^109/sqlite/src/rowset.c:223:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]110    if( rowid<=pLast->v ){  /*OPTIMIZATION-IF-FALSE*/111             ^112/sqlite/src/rowset.c:223:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]113    if( rowid<=pLast->v ){  /*OPTIMIZATION-IF-FALSE*/114             ^115/sqlite/src/rowset.c:417:16: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]116    p->rsFlags |= ROWSET_SORTED|ROWSET_NEXT;117               ^118/sqlite/src/rowset.c:426:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]119      sqlite3RowSetClear(p);120      ^121[info] Mutation score: 69%122[info] Total execution time: 1016ms123[info] Surviving mutants: 13124