CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_insert_sqlite3ExprReferencesUpdatedColumn.out287 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 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/insert.c:134:31 ExecutionResult: Passed15
       [--------------------------------] 1/7416[debug] /sqlite/src/insert.c:128:53 ExecutionResult: Passed17[debug] /sqlite/src/insert.c:127:17 ExecutionResult: Passed18
       [#-------------------------------] 3/7419[debug] /sqlite/src/insert.c:133:20 ExecutionResult: Passed20
       [#-------------------------------] 4/7421[debug] /sqlite/src/insert.c:2901:12 ExecutionResult: Passed22
       [##------------------------------] 5/7423[debug] /sqlite/src/insert.c:2721:17 ExecutionResult: Passed24[debug] /sqlite/src/insert.c:221:7 ExecutionResult: Passed25[debug] /sqlite/src/insert.c:1693:43 ExecutionResult: Failed26[debug] /sqlite/src/insert.c:2909:8 ExecutionResult: Passed27
       [###-----------------------------] 9/7428[debug] /sqlite/src/insert.c:2897:9 ExecutionResult: Passed29[debug] /sqlite/src/insert.c:2842:3 ExecutionResult: Failed30[debug] /sqlite/src/insert.c:2903:33 ExecutionResult: Passed31[debug] /sqlite/src/insert.c:2135:14 ExecutionResult: Passed32[debug] /sqlite/src/insert.c:1941:8 ExecutionResult: Passed33[debug] /sqlite/src/insert.c:1924:7 ExecutionResult: Passed34
       [######--------------------------] 15/7435[debug] /sqlite/src/insert.c:1931:7 ExecutionResult: Passed36[debug] /sqlite/src/insert.c:2713:9 ExecutionResult: Failed37[debug] /sqlite/src/insert.c:1725:11 ExecutionResult: Failed38
       [#######-------------------------] 18/7439[debug] /sqlite/src/insert.c:43:5 ExecutionResult: Failed40
       [########------------------------] 19/7441[debug] /sqlite/src/insert.c:1782:10 ExecutionResult: Failed42[debug] /sqlite/src/insert.c:182:22 ExecutionResult: Passed43[debug] /sqlite/src/insert.c:129:18 ExecutionResult: Passed44
       [#########-----------------------] 22/7445[debug] /sqlite/src/insert.c:127:17 ExecutionResult: Passed46
       [#########-----------------------] 23/7447[debug] /sqlite/src/insert.c:134:14 ExecutionResult: Passed48
       [##########----------------------] 24/7449[debug] /sqlite/src/insert.c:2901:19 ExecutionResult: Passed50[debug] /sqlite/src/insert.c:1690:16 ExecutionResult: Failed51
       [###########---------------------] 26/7452[debug] /sqlite/src/insert.c:2923:12 ExecutionResult: Passed53[debug] /sqlite/src/insert.c:1693:43 ExecutionResult: Failed54[debug] /sqlite/src/insert.c:2900:12 ExecutionResult: Passed55
       [############--------------------] 29/7456[debug] /sqlite/src/insert.c:2846:3 ExecutionResult: Passed57[debug] /sqlite/src/insert.c:2214:18 ExecutionResult: Passed58[debug] /sqlite/src/insert.c:2905:38 ExecutionResult: Passed59[debug] /sqlite/src/insert.c:1949:14 ExecutionResult: Passed60
       [##############------------------] 33/7461[debug] /sqlite/src/insert.c:2714:5 ExecutionResult: Failed62[debug] /sqlite/src/insert.c:1728:3 ExecutionResult: Failed63
       [###############-----------------] 35/7464[debug] /sqlite/src/insert.c:124:54 ExecutionResult: Passed65
       [###############-----------------] 36/7466[debug] /sqlite/src/insert.c:129:22 ExecutionResult: Passed67
       [################----------------] 37/7468[debug] /sqlite/src/insert.c:1918:7 ExecutionResult: Passed69[debug] /sqlite/src/insert.c:2806:8 ExecutionResult: Failed70
       [################----------------] 39/7471[debug] /sqlite/src/insert.c:1925:7 ExecutionResult: Failed72
       [#################---------------] 40/7473[debug] /sqlite/src/insert.c:134:14 ExecutionResult: Passed74
       [#################---------------] 41/7475[debug] /sqlite/src/insert.c:2897:7 ExecutionResult: Passed76[debug] /sqlite/src/insert.c:2902:14 ExecutionResult: Passed77
       [##################--------------] 43/7478[debug] /sqlite/src/insert.c:1694:24 ExecutionResult: Failed79[debug] /sqlite/src/insert.c:1692:23 ExecutionResult: Failed80[debug] /sqlite/src/insert.c:2214:60 ExecutionResult: Passed81
       [###################-------------] 46/7482[debug] /sqlite/src/insert.c:2908:13 ExecutionResult: Passed83[debug] /sqlite/src/insert.c:2900:12 ExecutionResult: Passed84[debug] /sqlite/src/insert.c:2714:51 ExecutionResult: Failed85
       [#####################-----------] 49/7486[debug] /sqlite/src/insert.c:1961:22 ExecutionResult: Passed87[debug] /sqlite/src/insert.c:2923:12 ExecutionResult: Passed88
       [######################----------] 51/7489[debug] /sqlite/src/insert.c:1731:13 ExecutionResult: Failed90
       [######################----------] 52/7491[debug] /sqlite/src/insert.c:127:10 ExecutionResult: Passed92
       [######################----------] 53/7493[debug] /sqlite/src/insert.c:127:31 ExecutionResult: Failed94
       [#######################---------] 54/7495[debug] /sqlite/src/insert.c:205:14 ExecutionResult: Failed96
       [#######################---------] 55/7497[debug] /sqlite/src/insert.c:134:31 ExecutionResult: Passed98
       [########################--------] 56/7499[debug] /sqlite/src/insert.c:1926:7 ExecutionResult: Passed100[debug] /sqlite/src/insert.c:1922:6 ExecutionResult: Passed101
       [#########################-------] 58/74102[debug] /sqlite/src/insert.c:2831:15 ExecutionResult: Passed103
       [#########################-------] 59/74104[debug] /sqlite/src/insert.c:2717:7 ExecutionResult: Passed105
       [#########################-------] 60/74106[debug] /sqlite/src/insert.c:1692:23 ExecutionResult: Failed107[debug] /sqlite/src/insert.c:2218:16 ExecutionResult: Passed108
       [##########################------] 62/74109[debug] /sqlite/src/insert.c:1697:22 ExecutionResult: Failed110
       [###########################-----] 63/74111[debug] /sqlite/src/insert.c:133:16 ExecutionResult: Failed112
       [###########################-----] 64/74113[debug] /sqlite/src/insert.c:1737:17 ExecutionResult: Failed114
       [############################----] 65/74115[debug] /sqlite/src/insert.c:127:12 ExecutionResult: Passed116
       [############################----] 66/74117[debug] /sqlite/src/insert.c:1930:7 ExecutionResult: Passed118[debug] /sqlite/src/insert.c:128:35 ExecutionResult: Passed119
       [#############################---] 68/74120[debug] /sqlite/src/insert.c:214:5 ExecutionResult: Passed121
       [#############################---] 69/74122[debug] /sqlite/src/insert.c:1923:7 ExecutionResult: Passed123
       [##############################--] 70/74124[debug] /sqlite/src/insert.c:2134:18 ExecutionResult: Failed125
       [##############################--] 71/74126[debug] /sqlite/src/insert.c:1933:7 ExecutionResult: Timedout127
       [###############################-] 72/74128[debug] /sqlite/src/insert.c:1936:12 ExecutionResult: Passed129
       [###############################-] 73/74130[debug] /sqlite/src/insert.c:1936:24 ExecutionResult: Passed131
       [################################] 74/74. Finished in 2915ms132[debug] Done running mutants133[info] Survived mutants (50/74):134/sqlite/src/insert.c:124:54: warning: Survived: Replaced + with - [cxx_add_to_sub]135  zColAff = (char *)sqlite3DbMallocRaw(db, pTab->nCol+1);136                                                     ^137/sqlite/src/insert.c:127:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]138    for(i=j=0; i<pTab->nCol; i++){139         ^140/sqlite/src/insert.c:127:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]141    for(i=j=0; i<pTab->nCol; i++){142           ^143/sqlite/src/insert.c:127:17: warning: Survived: Replaced < with >= [cxx_lt_to_ge]144    for(i=j=0; i<pTab->nCol; i++){145                ^146/sqlite/src/insert.c:127:17: warning: Survived: Replaced < with <= [cxx_lt_to_le]147    for(i=j=0; i<pTab->nCol; i++){148                ^149/sqlite/src/insert.c:128:35: warning: Survived: Replaced & with | [cxx_and_to_or]150      if( (pTab->aCol[i].colFlags & COLFLAG_VIRTUAL)==0 ){151                                  ^152/sqlite/src/insert.c:128:53: warning: Survived: Replaced == with != [cxx_eq_to_ne]153      if( (pTab->aCol[i].colFlags & COLFLAG_VIRTUAL)==0 ){154                                                    ^155/sqlite/src/insert.c:129:18: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]156        zColAff[j++] = pTab->aCol[i].affinity;157                 ^158/sqlite/src/insert.c:129:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]159        zColAff[j++] = pTab->aCol[i].affinity;160                     ^161/sqlite/src/insert.c:133:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]162      zColAff[j--] = 0;163                   ^164/sqlite/src/insert.c:134:14: warning: Survived: Replaced >= with > [cxx_ge_to_gt]165    }while( j>=0 && zColAff[j]<=SQLITE_AFF_BLOB );166             ^167/sqlite/src/insert.c:134:14: warning: Survived: Replaced >= with < [cxx_ge_to_lt]168    }while( j>=0 && zColAff[j]<=SQLITE_AFF_BLOB );169             ^170/sqlite/src/insert.c:134:31: warning: Survived: Replaced <= with > [cxx_le_to_gt]171    }while( j>=0 && zColAff[j]<=SQLITE_AFF_BLOB );172                              ^173/sqlite/src/insert.c:134:31: warning: Survived: Replaced <= with < [cxx_le_to_lt]174    }while( j>=0 && zColAff[j]<=SQLITE_AFF_BLOB );175                              ^176/sqlite/src/insert.c:182:22: warning: Survived: Replaced & with | [cxx_and_to_or]177  if( pTab->tabFlags & TF_Strict ){178                     ^179/sqlite/src/insert.c:214:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]180  i = sqlite3Strlen30NN(zColAff);181    ^182/sqlite/src/insert.c:221:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]183      sqlite3VdbeChangeP4(v, -1, zColAff, i);184      ^185/sqlite/src/insert.c:1918:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]186  int seenReplace = 0; /* True if REPLACE is used to resolve INT PK conflict */187      ^188/sqlite/src/insert.c:1922:6: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]189  u8 bAffinityDone = 0;  /* True if the OP_Affinity operation has been run */190     ^191/sqlite/src/insert.c:1923:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]192  int upsertIpkReturn = 0; /* Address of Goto at end of IPK uniqueness check */193      ^194/sqlite/src/insert.c:1924:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]195  int upsertIpkDelay = 0;  /* Address of Goto to bypass initial IPK check */196      ^197/sqlite/src/insert.c:1926:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]198  int ipkBottom = 0;     /* OP_Goto at the end of the IPK uniqueness check */199      ^200/sqlite/src/insert.c:1930:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]201  int addrRecheck = 0;  /* Jump here to recheck all uniqueness constraints */202      ^203/sqlite/src/insert.c:1931:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]204  int lblRecheckOk = 0; /* Each recheck jumps to this label if it passes */205      ^206/sqlite/src/insert.c:1936:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]207  isUpdate = regOldData!=0;208           ^209/sqlite/src/insert.c:1936:24: warning: Survived: Replaced != with == [cxx_ne_to_eq]210  isUpdate = regOldData!=0;211                       ^212/sqlite/src/insert.c:1941:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]213  nCol = pTab->nCol;214       ^215/sqlite/src/insert.c:1949:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]216    nPkField = 1;217             ^218/sqlite/src/insert.c:1961:22: warning: Survived: Replaced & with | [cxx_and_to_or]219  if( pTab->tabFlags & TF_HasNotNull ){220                     ^221/sqlite/src/insert.c:2135:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]222  sIdxIter.i = 0;223             ^224/sqlite/src/insert.c:2214:18: warning: Survived: Replaced & with | [cxx_and_to_or]225  if( (db->flags & (SQLITE_RecTriggers|SQLITE_ForeignKeys))==0 ){226                 ^227/sqlite/src/insert.c:2214:60: warning: Survived: Replaced == with != [cxx_eq_to_ne]228  if( (db->flags & (SQLITE_RecTriggers|SQLITE_ForeignKeys))==0 ){229                                                           ^230/sqlite/src/insert.c:2218:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]231    regTrigCnt = 0;232               ^233/sqlite/src/insert.c:2717:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]234      sqlite3TableAffinity(v, pTab, 0);235      ^236/sqlite/src/insert.c:2721:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]237  *pbMayReplace = seenReplace;238                ^239/sqlite/src/insert.c:2831:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]240    pik_flags = 0;241              ^242/sqlite/src/insert.c:2846:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]243  sqlite3VdbeChangeP5(v, pik_flags);244  ^245/sqlite/src/insert.c:2897:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]246  iDb = sqlite3SchemaToIndex(pParse->db, pTab->pSchema);247      ^248/sqlite/src/insert.c:2897:9: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]249  iDb = sqlite3SchemaToIndex(pParse->db, pTab->pSchema);250        ^251/sqlite/src/insert.c:2900:12: warning: Survived: Replaced < with >= [cxx_lt_to_ge]252  if( iBase<0 ) iBase = pParse->nTab;253           ^254/sqlite/src/insert.c:2900:12: warning: Survived: Replaced < with <= [cxx_lt_to_le]255  if( iBase<0 ) iBase = pParse->nTab;256           ^257/sqlite/src/insert.c:2901:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]258  iDataCur = iBase++;259           ^260/sqlite/src/insert.c:2901:19: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]261  iDataCur = iBase++;262                  ^263/sqlite/src/insert.c:2902:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]264  *piDataCur = iDataCur;265             ^266/sqlite/src/insert.c:2903:33: warning: Survived: Replaced == with != [cxx_eq_to_ne]267  if( HasRowid(pTab) && (aToOpen==0 || aToOpen[0]) ){268                                ^269/sqlite/src/insert.c:2905:38: warning: Survived: Replaced == with != [cxx_eq_to_ne]270  }else if( pParse->db->noSharedCache==0 ){271                                     ^272/sqlite/src/insert.c:2908:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]273  *piIdxCur = iBase;274            ^275/sqlite/src/insert.c:2909:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]276  for(i=0, pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext, i++){277       ^278/sqlite/src/insert.c:2923:12: warning: Survived: Replaced > with >= [cxx_gt_to_ge]279  if( iBase>pParse->nTab ) pParse->nTab = iBase;280           ^281/sqlite/src/insert.c:2923:12: warning: Survived: Replaced > with <= [cxx_gt_to_le]282  if( iBase>pParse->nTab ) pParse->nTab = iBase;283           ^284[info] Mutation score: 32%285[info] Total execution time: 3220ms286[info] Surviving mutants: 50287