CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_hash_removeElement.out176 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 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/hash.c:43:14 ExecutionResult: Failed15[debug] /sqlite/src/hash.c:118:34 ExecutionResult: Passed16[debug] /sqlite/src/hash.c:70:7 ExecutionResult: Passed17[debug] /sqlite/src/hash.c:56:16 ExecutionResult: Passed18
       [##------------------------------] 4/5919[debug] /sqlite/src/hash.c:210:12 ExecutionResult: Failed20[debug] /sqlite/src/hash.c:134:3 ExecutionResult: Passed21[debug] /sqlite/src/hash.c:121:15 ExecutionResult: Failed22
       [###-----------------------------] 7/5923[debug] /sqlite/src/hash.c:203:22 ExecutionResult: Failed24[debug] /sqlite/src/hash.c:176:54 ExecutionResult: Failed25
       [####----------------------------] 9/5926[debug] /sqlite/src/hash.c:269:15 ExecutionResult: Failed27[debug] /sqlite/src/hash.c:173:22 ExecutionResult: Failed28
       [#####---------------------------] 11/5929[debug] /sqlite/src/hash.c:272:16 ExecutionResult: Failed30
       [######--------------------------] 12/5931[debug] /sqlite/src/hash.c:26:15 ExecutionResult: Failed32
       [#######-------------------------] 13/5933[debug] /sqlite/src/hash.c:46:5 ExecutionResult: Passed34[debug] /sqlite/src/hash.c:118:34 ExecutionResult: Passed35
       [########------------------------] 15/5936[debug] /sqlite/src/hash.c:68:7 ExecutionResult: Passed37[debug] /sqlite/src/hash.c:166:24 ExecutionResult: Failed38
       [#########-----------------------] 17/5939[debug] /sqlite/src/hash.c:275:3 ExecutionResult: Failed40
       [#########-----------------------] 18/5941[debug] /sqlite/src/hash.c:139:52 ExecutionResult: Failed42
       [##########----------------------] 19/5943[debug] /sqlite/src/hash.c:211:16 ExecutionResult: Failed44
       [##########----------------------] 20/5945[debug] /sqlite/src/hash.c:143:39 ExecutionResult: Failed46
       [###########---------------------] 21/5947[debug] /sqlite/src/hash.c:271:12 ExecutionResult: Failed48[debug] /sqlite/src/hash.c:207:18 ExecutionResult: Failed49[debug] /sqlite/src/hash.c:132:3 ExecutionResult: Passed50
       [#############-------------------] 24/5951[debug] /sqlite/src/hash.c:176:10 ExecutionResult: Failed52[debug] /sqlite/src/hash.c:139:14 ExecutionResult: Failed53[debug] /sqlite/src/hash.c:136:13 ExecutionResult: Failed54[debug] /sqlite/src/hash.c:272:36 ExecutionResult: Failed55
       [###############-----------------] 28/5956[debug] /sqlite/src/hash.c:272:33 ExecutionResult: Passed57[debug] /sqlite/src/hash.c:27:16 ExecutionResult: Failed58
       [################----------------] 30/5959[debug] /sqlite/src/hash.c:87:18 ExecutionResult: Failed60
       [################----------------] 31/5961[debug] /sqlite/src/hash.c:119:14 ExecutionResult: Passed62
       [#################---------------] 32/5963[debug] /sqlite/src/hash.c:180:10 ExecutionResult: Failed64[debug] /sqlite/src/hash.c:68:15 ExecutionResult: Passed65[debug] /sqlite/src/hash.c:49:13 ExecutionResult: Failed66
       [##################--------------] 35/5967[debug] /sqlite/src/hash.c:214:5 ExecutionResult: Failed68
       [###################-------------] 36/5969[debug] /sqlite/src/hash.c:209:3 ExecutionResult: Passed70[debug] /sqlite/src/hash.c:163:5 ExecutionResult: Passed71[debug] /sqlite/src/hash.c:176:23 ExecutionResult: Failed72[debug] /sqlite/src/hash.c:272:16 ExecutionResult: Passed73
       [#####################-----------] 40/5974[debug] /sqlite/src/hash.c:272:33 ExecutionResult: Failed75
       [######################----------] 41/5976[debug] /sqlite/src/hash.c:137:3 ExecutionResult: Passed77[debug] /sqlite/src/hash.c:273:5 ExecutionResult: Failed78
       [#######################---------] 43/5979[debug] /sqlite/src/hash.c:168:11 ExecutionResult: Failed80
       [#######################---------] 44/5981[debug] /sqlite/src/hash.c:41:3 ExecutionResult: Passed82
       [########################--------] 45/5983[debug] /sqlite/src/hash.c:275:50 ExecutionResult: Failed84
       [########################--------] 46/5985[debug] /sqlite/src/hash.c:118:15 ExecutionResult: Passed86
       [#########################-------] 47/5987[debug] /sqlite/src/hash.c:133:49 ExecutionResult: Failed88
       [##########################------] 48/5989[debug] /sqlite/src/hash.c:140:29 ExecutionResult: Failed90
       [##########################------] 49/5991[debug] /sqlite/src/hash.c:139:25 ExecutionResult: Failed92
       [###########################-----] 50/5993[debug] /sqlite/src/hash.c:163:7 ExecutionResult: Passed94
       [###########################-----] 51/5995[debug] /sqlite/src/hash.c:273:25 ExecutionResult: Passed96
       [############################----] 52/5997[debug] /sqlite/src/hash.c:202:30 ExecutionResult: Failed98
       [############################----] 53/5999[debug] /sqlite/src/hash.c:143:5 ExecutionResult: Failed100
       [#############################---] 54/59101[debug] /sqlite/src/hash.c:139:27 ExecutionResult: Passed102
       [#############################---] 55/59103[debug] /sqlite/src/hash.c:171:11 ExecutionResult: Failed104
       [##############################--] 56/59105[debug] /sqlite/src/hash.c:219:5 ExecutionResult: Timedout106
       [##############################--] 57/59107[debug] /sqlite/src/hash.c:265:11 ExecutionResult: Failed108
       [###############################-] 58/59109[debug] /sqlite/src/hash.c:267:15 ExecutionResult: Failed110
       [################################] 59/59. Finished in 2627ms111[debug] Done running mutants112[info] Survived mutants (20/59):113/sqlite/src/hash.c:41:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]114  sqlite3_free(pH->ht);115  ^116/sqlite/src/hash.c:46:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]117    sqlite3_free(elem);118    ^119/sqlite/src/hash.c:56:16: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]120  unsigned int h = 0;121               ^122/sqlite/src/hash.c:68:7: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]123    h += 0xdf & (unsigned char)*(z++);124      ^125/sqlite/src/hash.c:68:15: warning: Survived: Replaced & with | [cxx_and_to_or]126    h += 0xdf & (unsigned char)*(z++);127              ^128/sqlite/src/hash.c:70:7: warning: Survived: Replaced *= with /= [cxx_mul_assign_to_div_assign]129    h *= 0x9e3779b1;130      ^131/sqlite/src/hash.c:118:15: warning: Survived: Replaced * with / [cxx_mul_to_div]132  if( new_size*sizeof(struct _ht)>SQLITE_MALLOC_SOFT_LIMIT ){133              ^134/sqlite/src/hash.c:118:34: warning: Survived: Replaced > with >= [cxx_gt_to_ge]135  if( new_size*sizeof(struct _ht)>SQLITE_MALLOC_SOFT_LIMIT ){136                                 ^137/sqlite/src/hash.c:118:34: warning: Survived: Replaced > with <= [cxx_gt_to_le]138  if( new_size*sizeof(struct _ht)>SQLITE_MALLOC_SOFT_LIMIT ){139                                 ^140/sqlite/src/hash.c:119:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]141    new_size = SQLITE_MALLOC_SOFT_LIMIT/sizeof(struct _ht);142             ^143/sqlite/src/hash.c:132:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]144  sqlite3BeginBenignMalloc();145  ^146/sqlite/src/hash.c:134:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]147  sqlite3EndBenignMalloc();148  ^149/sqlite/src/hash.c:137:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]150  sqlite3_free(pH->ht);151  ^152/sqlite/src/hash.c:139:27: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]153  pH->htsize = new_size = sqlite3MallocSize(new_ht)/sizeof(struct _ht);154                          ^155/sqlite/src/hash.c:163:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]156  h = strHash(pKey);157    ^158/sqlite/src/hash.c:163:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]159  h = strHash(pKey);160      ^161/sqlite/src/hash.c:209:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]162  sqlite3_free( elem );163  ^164/sqlite/src/hash.c:272:16: warning: Survived: Replaced >= with > [cxx_ge_to_gt]165  if( pH->count>=5 && pH->count > 2*pH->htsize ){166               ^167/sqlite/src/hash.c:272:33: warning: Survived: Replaced > with >= [cxx_gt_to_ge]168  if( pH->count>=5 && pH->count > 2*pH->htsize ){169                                ^170/sqlite/src/hash.c:273:25: warning: Survived: Replaced * with / [cxx_mul_to_div]171    rehash(pH, pH->count*3);172                        ^173[info] Mutation score: 66%174[info] Total execution time: 2941ms175[info] Surviving mutants: 20176