CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_printf_sqlite3_str_append.out294 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 106ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 4ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 110ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/printf.c:261:41 ExecutionResult: Passed15[debug] /sqlite/src/printf.c:241:19 ExecutionResult: Passed16[debug] /sqlite/src/printf.c:131:15 ExecutionResult: Failed17
       [#-------------------------------] 3/8118[debug] /sqlite/src/printf.c:235:28 ExecutionResult: Passed19[debug] /sqlite/src/printf.c:260:22 ExecutionResult: Passed20
       [#-------------------------------] 5/8121[debug] /sqlite/src/printf.c:380:29 ExecutionResult: Passed22
       [##------------------------------] 6/8123[debug] /sqlite/src/printf.c:993:14 ExecutionResult: Passed24[debug] /sqlite/src/printf.c:1087:37 ExecutionResult: Passed25[debug] /sqlite/src/printf.c:1291:18 ExecutionResult: Passed26
       [###-----------------------------] 9/8127[debug] /sqlite/src/printf.c:1287:13 ExecutionResult: Failed28[debug] /sqlite/src/printf.c:1164:37 ExecutionResult: Passed29[debug] /sqlite/src/printf.c:1074:7 ExecutionResult: Passed30[debug] /sqlite/src/printf.c:1251:5 ExecutionResult: Passed31[debug] /sqlite/src/printf.c:1138:5 ExecutionResult: Failed32
       [#####---------------------------] 14/8133[debug] /sqlite/src/printf.c:1124:14 ExecutionResult: Failed34[debug] /sqlite/src/printf.c:1067:26 ExecutionResult: Failed35[debug] /sqlite/src/printf.c:1068:23 ExecutionResult: Passed36[debug] /sqlite/src/printf.c:264:15 ExecutionResult: Passed37
       [#######-------------------------] 18/8138[debug] /sqlite/src/printf.c:261:56 ExecutionResult: Passed39[debug] /sqlite/src/printf.c:1121:5 ExecutionResult: Failed40[debug] /sqlite/src/printf.c:260:36 ExecutionResult: Passed41[debug] /sqlite/src/printf.c:235:52 ExecutionResult: Passed42
       [########------------------------] 22/8143[debug] /sqlite/src/printf.c:132:20 ExecutionResult: Passed44[debug] /sqlite/src/printf.c:242:10 ExecutionResult: Passed45[debug] /sqlite/src/printf.c:1175:19 ExecutionResult: Failed46
       [#########-----------------------] 25/8147[debug] /sqlite/src/printf.c:384:13 ExecutionResult: Passed48
       [##########----------------------] 26/8149[debug] /sqlite/src/printf.c:998:7 ExecutionResult: Passed50
       [##########----------------------] 27/8151[debug] /sqlite/src/printf.c:1089:17 ExecutionResult: Passed52[debug] /sqlite/src/printf.c:1355:7 ExecutionResult: Failed53[debug] /sqlite/src/printf.c:1165:20 ExecutionResult: Passed54[debug] /sqlite/src/printf.c:1288:14 ExecutionResult: Failed55
       [############--------------------] 31/8156[debug] /sqlite/src/printf.c:1252:20 ExecutionResult: Passed57[debug] /sqlite/src/printf.c:1075:7 ExecutionResult: Failed58[debug] /sqlite/src/printf.c:1067:30 ExecutionResult: Failed59[debug] /sqlite/src/printf.c:1137:15 ExecutionResult: Passed60
       [#############-------------------] 35/8161[debug] /sqlite/src/printf.c:1071:13 ExecutionResult: Passed62[debug] /sqlite/src/printf.c:265:15 ExecutionResult: Passed63
       [##############------------------] 37/8164[debug] /sqlite/src/printf.c:262:10 ExecutionResult: Passed65[debug] /sqlite/src/printf.c:1121:7 ExecutionResult: Failed66[debug] /sqlite/src/printf.c:260:48 ExecutionResult: Passed67
       [###############-----------------] 40/8168[debug] /sqlite/src/printf.c:133:13 ExecutionResult: Passed69[debug] /sqlite/src/printf.c:255:11 ExecutionResult: Passed70[debug] /sqlite/src/printf.c:1241:8 ExecutionResult: Failed71
       [################----------------] 43/8172[debug] /sqlite/src/printf.c:992:11 ExecutionResult: Passed73[debug] /sqlite/src/printf.c:1141:14 ExecutionResult: Failed74
       [#################---------------] 45/8175[debug] /sqlite/src/printf.c:1062:17 ExecutionResult: Failed76[debug] /sqlite/src/printf.c:1089:19 ExecutionResult: Passed77
       [##################--------------] 47/8178[debug] /sqlite/src/printf.c:1174:24 ExecutionResult: Passed79[debug] /sqlite/src/printf.c:1289:12 ExecutionResult: Failed80
       [###################-------------] 49/8181[debug] /sqlite/src/printf.c:1078:17 ExecutionResult: Passed82
       [###################-------------] 50/8183[debug] /sqlite/src/printf.c:1073:15 ExecutionResult: Passed84[debug] /sqlite/src/printf.c:379:9 ExecutionResult: Passed85
       [####################------------] 52/8186[debug] /sqlite/src/printf.c:1137:18 ExecutionResult: Passed87[debug] /sqlite/src/printf.c:1068:14 ExecutionResult: Passed88
       [#####################-----------] 54/8189[debug] /sqlite/src/printf.c:239:14 ExecutionResult: Failed90
       [#####################-----------] 55/8191[debug] /sqlite/src/printf.c:1254:13 ExecutionResult: Failed92
       [######################----------] 56/8193[debug] /sqlite/src/printf.c:263:11 ExecutionResult: Passed94[debug] /sqlite/src/printf.c:1122:8 ExecutionResult: Passed95[debug] /sqlite/src/printf.c:133:31 ExecutionResult: Passed96[debug] /sqlite/src/printf.c:1357:3 ExecutionResult: Failed97[debug] /sqlite/src/printf.c:261:25 ExecutionResult: Passed98
       [########################--------] 61/8199[debug] /sqlite/src/printf.c:255:21 ExecutionResult: Passed100[debug] /sqlite/src/printf.c:1142:30 ExecutionResult: Failed101
       [########################--------] 63/81102[debug] /sqlite/src/printf.c:993:14 ExecutionResult: Passed103
       [#########################-------] 64/81104[debug] /sqlite/src/printf.c:1087:37 ExecutionResult: Passed105[debug] /sqlite/src/printf.c:1067:9 ExecutionResult: Passed106[debug] /sqlite/src/printf.c:1090:22 ExecutionResult: Passed107
       [##########################------] 67/81108[debug] /sqlite/src/printf.c:1175:19 ExecutionResult: Passed109[debug] /sqlite/src/printf.c:1290:15 ExecutionResult: Failed110[debug] /sqlite/src/printf.c:1137:18 ExecutionResult: Failed111
       [###########################-----] 70/81112[debug] /sqlite/src/printf.c:379:25 ExecutionResult: Passed113[debug] /sqlite/src/printf.c:1073:15 ExecutionResult: Failed114
       [############################----] 72/81115[debug] /sqlite/src/printf.c:241:11 ExecutionResult: Passed116[debug] /sqlite/src/printf.c:1068:23 ExecutionResult: Passed117
       [#############################---] 74/81118[debug] /sqlite/src/printf.c:1241:23 ExecutionResult: Failed119
       [#############################---] 75/81120[debug] /sqlite/src/printf.c:1358:3 ExecutionResult: Passed121[debug] /sqlite/src/printf.c:1162:38 ExecutionResult: Failed122
       [##############################--] 77/81123[debug] /sqlite/src/printf.c:1122:8 ExecutionResult: Failed124[debug] /sqlite/src/printf.c:1255:12 ExecutionResult: Failed125
       [###############################-] 79/81126[debug] /sqlite/src/printf.c:213:10 ExecutionResult: Passed127
       [###############################-] 80/81128[debug] /sqlite/src/printf.c:1242:22 ExecutionResult: Failed129
       [################################] 81/81. Finished in 898ms130[debug] Done running mutants131[info] Survived mutants (53/81):132/sqlite/src/printf.c:132:20: warning: Survived: Removed the call to the function [cxx_remove_void_call]133  if( p->mxAlloc ) sqlite3_str_reset(p);134                   ^135/sqlite/src/printf.c:133:13: warning: Survived: Replaced == with != [cxx_eq_to_ne]136  if( eError==SQLITE_TOOBIG ) sqlite3ErrorToParser(p->db, eError);137            ^138/sqlite/src/printf.c:133:31: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]139  if( eError==SQLITE_TOOBIG ) sqlite3ErrorToParser(p->db, eError);140                              ^141/sqlite/src/printf.c:213:10: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]142  etByte xtype = etINVALID;  /* Conversion paradigm */143         ^144/sqlite/src/printf.c:235:28: warning: Survived: Replaced & with | [cxx_and_to_or]145  if( (pAccum->printfFlags & SQLITE_PRINTF_SQLFUNC)!=0 ){146                           ^147/sqlite/src/printf.c:235:52: warning: Survived: Replaced != with == [cxx_ne_to_eq]148  if( (pAccum->printfFlags & SQLITE_PRINTF_SQLFUNC)!=0 ){149                                                   ^150/sqlite/src/printf.c:241:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]151  for(; (c=(*fmt))!=0; ++fmt){152          ^153/sqlite/src/printf.c:241:19: warning: Survived: Replaced != with == [cxx_ne_to_eq]154  for(; (c=(*fmt))!=0; ++fmt){155                  ^156/sqlite/src/printf.c:242:10: warning: Survived: Replaced != with == [cxx_ne_to_eq]157    if( c!='%' ){158         ^159/sqlite/src/printf.c:255:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]160    if( (c=(*++fmt))==0 ){161          ^162/sqlite/src/printf.c:255:21: warning: Survived: Replaced == with != [cxx_eq_to_ne]163    if( (c=(*++fmt))==0 ){164                    ^165/sqlite/src/printf.c:260:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]166    flag_leftjustify = flag_prefix = cThousand =167                     ^168/sqlite/src/printf.c:260:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]169    flag_leftjustify = flag_prefix = cThousand =170                                   ^171/sqlite/src/printf.c:260:48: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]172    flag_leftjustify = flag_prefix = cThousand =173                                               ^174/sqlite/src/printf.c:261:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]175     flag_alternateform = flag_altform2 = flag_zeropad = 0;176                        ^177/sqlite/src/printf.c:261:41: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]178     flag_alternateform = flag_altform2 = flag_zeropad = 0;179                                        ^180/sqlite/src/printf.c:261:56: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]181     flag_alternateform = flag_altform2 = flag_zeropad = 0;182                                                       ^183/sqlite/src/printf.c:262:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]184    done = 0;185         ^186/sqlite/src/printf.c:263:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]187    width = 0;188          ^189/sqlite/src/printf.c:264:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]190    flag_long = 0;191              ^192/sqlite/src/printf.c:265:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]193    precision = -1;194              ^195/sqlite/src/printf.c:379:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]196    idx = ((unsigned)c) % 23;197        ^198/sqlite/src/printf.c:379:25: warning: Survived: Replaced % with / [cxx_rem_to_div]199    idx = ((unsigned)c) % 23;200                        ^201/sqlite/src/printf.c:380:29: warning: Survived: Replaced == with != [cxx_eq_to_ne]202    if( fmtinfo[idx].fmttype==c203                            ^204/sqlite/src/printf.c:384:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]205      xtype = infop->type;206            ^207/sqlite/src/printf.c:992:11: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]208    width -= length;209          ^210/sqlite/src/printf.c:993:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]211    if( width>0 ){212             ^213/sqlite/src/printf.c:993:14: warning: Survived: Replaced > with <= [cxx_gt_to_le]214    if( width>0 ){215             ^216/sqlite/src/printf.c:998:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]217      sqlite3_str_append(pAccum, bufpt, length);218      ^219/sqlite/src/printf.c:1067:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]220    i64 szNew = p->nChar + N + 1;221        ^222/sqlite/src/printf.c:1068:14: warning: Survived: Replaced + with - [cxx_add_to_sub]223    if( szNew+p->nChar<=p->mxAlloc ){224             ^225/sqlite/src/printf.c:1068:23: warning: Survived: Replaced <= with > [cxx_le_to_gt]226    if( szNew+p->nChar<=p->mxAlloc ){227                      ^228/sqlite/src/printf.c:1068:23: warning: Survived: Replaced <= with < [cxx_le_to_lt]229    if( szNew+p->nChar<=p->mxAlloc ){230                      ^231/sqlite/src/printf.c:1071:13: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]232      szNew += p->nChar;233            ^234/sqlite/src/printf.c:1073:15: warning: Survived: Replaced > with >= [cxx_gt_to_ge]235    if( szNew > p->mxAlloc ){236              ^237/sqlite/src/printf.c:1074:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]238      sqlite3_str_reset(p);239      ^240/sqlite/src/printf.c:1078:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]241      p->nAlloc = (int)szNew;242                ^243/sqlite/src/printf.c:1087:37: warning: Survived: Replaced > with >= [cxx_gt_to_ge]244      if( !isMalloced(p) && p->nChar>0 ) memcpy(zNew, p->zText, p->nChar);245                                    ^246/sqlite/src/printf.c:1087:37: warning: Survived: Replaced > with <= [cxx_gt_to_le]247      if( !isMalloced(p) && p->nChar>0 ) memcpy(zNew, p->zText, p->nChar);248                                    ^249/sqlite/src/printf.c:1089:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]250      p->nAlloc = sqlite3DbMallocSize(p->db, zNew);251                ^252/sqlite/src/printf.c:1089:19: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]253      p->nAlloc = sqlite3DbMallocSize(p->db, zNew);254                  ^255/sqlite/src/printf.c:1090:22: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]256      p->printfFlags |= SQLITE_PRINTF_MALLOCED;257                     ^258/sqlite/src/printf.c:1122:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]259  if( N>0 ){260       ^261/sqlite/src/printf.c:1137:15: warning: Survived: Replaced + with - [cxx_add_to_sub]262  if( p->nChar+N >= p->nAlloc ){263              ^264/sqlite/src/printf.c:1137:18: warning: Survived: Replaced >= with > [cxx_ge_to_gt]265  if( p->nChar+N >= p->nAlloc ){266                 ^267/sqlite/src/printf.c:1164:37: warning: Survived: Replaced + with - [cxx_add_to_sub]268    memcpy(zText, p->zText, p->nChar+1);269                                    ^270/sqlite/src/printf.c:1165:20: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]271    p->printfFlags |= SQLITE_PRINTF_MALLOCED;272                   ^273/sqlite/src/printf.c:1174:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]274    p->zText[p->nChar] = 0;275                       ^276/sqlite/src/printf.c:1175:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]277    if( p->mxAlloc>0 && !isMalloced(p) ){278                  ^279/sqlite/src/printf.c:1251:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]280    sqlite3DbFree(p->db, p->zText);281    ^282/sqlite/src/printf.c:1252:20: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]283    p->printfFlags &= ~SQLITE_PRINTF_MALLOCED;284                   ^285/sqlite/src/printf.c:1291:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]286  p->printfFlags = 0;287                 ^288/sqlite/src/printf.c:1358:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]289  sqlite3_str_vappendf(&acc, zFormat, ap);290  ^291[info] Mutation score: 34%292[info] Total execution time: 1226ms293[info] Surviving mutants: 53294