CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_status_sqlite3_db_status.out135 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 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 107ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/status.c:126:15 ExecutionResult: Passed15[debug] /sqlite/src/status.c:95:24 ExecutionResult: Passed16[debug] /sqlite/src/status.c:107:24 ExecutionResult: Passed17
       [##------------------------------] 2/3218[debug] /sqlite/src/status.c:96:27 ExecutionResult: Passed19[debug] /sqlite/src/status.c:127:25 ExecutionResult: Passed20
       [#####---------------------------] 5/3221[debug] /sqlite/src/status.c:441:9 ExecutionResult: Failed22[debug] /sqlite/src/status.c:190:7 ExecutionResult: Passed23[debug] /sqlite/src/status.c:210:7 ExecutionResult: Failed24
       [########------------------------] 8/3225[debug] /sqlite/src/status.c:433:24 ExecutionResult: Passed26[debug] /sqlite/src/status.c:443:15 ExecutionResult: Failed27[debug] /sqlite/src/status.c:419:3 ExecutionResult: Passed28[debug] /sqlite/src/status.c:442:15 ExecutionResult: Failed29
       [############--------------------] 12/3230[debug] /sqlite/src/status.c:189:7 ExecutionResult: Passed31[debug] /sqlite/src/status.c:443:19 ExecutionResult: Failed32[debug] /sqlite/src/status.c:197:36 ExecutionResult: Passed33[debug] /sqlite/src/status.c:440:6 ExecutionResult: Failed34[debug] /sqlite/src/status.c:192:9 ExecutionResult: Passed35
       [#################---------------] 17/3236[debug] /sqlite/src/status.c:440:8 ExecutionResult: Failed37[debug] /sqlite/src/status.c:442:19 ExecutionResult: Failed38[debug] /sqlite/src/status.c:193:9 ExecutionResult: Passed39
       [####################------------] 20/3240[debug] /sqlite/src/status.c:126:15 ExecutionResult: Passed41[debug] /sqlite/src/status.c:96:27 ExecutionResult: Passed42[debug] /sqlite/src/status.c:118:12 ExecutionResult: Passed43[debug] /sqlite/src/status.c:97:25 ExecutionResult: Passed44
       [########################--------] 24/3245[debug] /sqlite/src/status.c:216:3 ExecutionResult: Passed46[debug] /sqlite/src/status.c:433:17 ExecutionResult: Passed47
       [##########################------] 26/3248[debug] /sqlite/src/status.c:192:12 ExecutionResult: Passed49[debug] /sqlite/src/status.c:193:12 ExecutionResult: Passed50
       [############################----] 28/3251[debug] /sqlite/src/status.c:177:7 ExecutionResult: Passed52
       [#############################---] 29/3253[debug] /sqlite/src/status.c:190:15 ExecutionResult: Passed54[debug] /sqlite/src/status.c:189:15 ExecutionResult: Passed55
       [###############################-] 31/3256[debug] /sqlite/src/status.c:197:44 ExecutionResult: Passed57
       [################################] 32/32. Finished in 372ms58[debug] Done running mutants59[info] Survived mutants (24/32):60/sqlite/src/status.c:95:24: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]61  wsdStat.nowValue[op] += N;62                       ^63/sqlite/src/status.c:96:27: warning: Survived: Replaced > with >= [cxx_gt_to_ge]64  if( wsdStat.nowValue[op]>wsdStat.mxValue[op] ){65                          ^66/sqlite/src/status.c:96:27: warning: Survived: Replaced > with <= [cxx_gt_to_le]67  if( wsdStat.nowValue[op]>wsdStat.mxValue[op] ){68                          ^69/sqlite/src/status.c:97:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]70    wsdStat.mxValue[op] = wsdStat.nowValue[op];71                        ^72/sqlite/src/status.c:107:24: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]73  wsdStat.nowValue[op] -= N;74                       ^75/sqlite/src/status.c:118:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]76  newValue = (sqlite3StatValueType)X;77           ^78/sqlite/src/status.c:126:15: warning: Survived: Replaced > with >= [cxx_gt_to_ge]79  if( newValue>wsdStat.mxValue[op] ){80              ^81/sqlite/src/status.c:126:15: warning: Survived: Replaced > with <= [cxx_gt_to_le]82  if( newValue>wsdStat.mxValue[op] ){83              ^84/sqlite/src/status.c:127:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]85    wsdStat.mxValue[op] = newValue;86                        ^87/sqlite/src/status.c:177:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]88  u32 cnt = 0;89      ^90/sqlite/src/status.c:189:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]91  u32 nInit = countLookasideSlots(db->lookaside.pInit);92      ^93/sqlite/src/status.c:189:15: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]94  u32 nInit = countLookasideSlots(db->lookaside.pInit);95              ^96/sqlite/src/status.c:190:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]97  u32 nFree = countLookasideSlots(db->lookaside.pFree);98      ^99/sqlite/src/status.c:190:15: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]100  u32 nFree = countLookasideSlots(db->lookaside.pFree);101              ^102/sqlite/src/status.c:192:9: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]103  nInit += countLookasideSlots(db->lookaside.pSmallInit);104        ^105/sqlite/src/status.c:192:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]106  nInit += countLookasideSlots(db->lookaside.pSmallInit);107           ^108/sqlite/src/status.c:193:9: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]109  nFree += countLookasideSlots(db->lookaside.pSmallFree);110        ^111/sqlite/src/status.c:193:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]112  nFree += countLookasideSlots(db->lookaside.pSmallFree);113           ^114/sqlite/src/status.c:197:36: warning: Survived: Replaced - with + [cxx_sub_to_add]115  return (int)(db->lookaside.nSlot - (nInit+nFree));116                                   ^117/sqlite/src/status.c:197:44: warning: Survived: Replaced + with - [cxx_add_to_sub]118  return (int)(db->lookaside.nSlot - (nInit+nFree));119                                           ^120/sqlite/src/status.c:216:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]121  sqlite3_mutex_enter(db->mutex);122  ^123/sqlite/src/status.c:419:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]124  sqlite3_mutex_leave(db->mutex);125  ^126/sqlite/src/status.c:433:17: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]127  sqlite3_int64 C = 0, H = 0;128                ^129/sqlite/src/status.c:433:24: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]130  sqlite3_int64 C = 0, H = 0;131                       ^132[info] Mutation score: 25%133[info] Total execution time: 674ms134[info] Surviving mutants: 24135