Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_util_sqlite3LogEst.out
mull_util_sqlite3LogEst.out56 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 123ms7[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 124ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:1718:8 ExecutionResult: Failed15
       [#-------------------------------] 1/2016[debug] /sqlite/src/util.c:1718:8 ExecutionResult: Passed17
       [###-----------------------------] 2/2018[debug] /sqlite/src/util.c:1719:10 ExecutionResult: Failed19[debug] /sqlite/src/util.c:1717:10 ExecutionResult: Failed20
       [######--------------------------] 4/2021[debug] /sqlite/src/util.c:1720:13 ExecutionResult: Failed22
       [########------------------------] 5/2023[debug] /sqlite/src/util.c:1728:13 ExecutionResult: Failed24
       [#########-----------------------] 6/2025[debug] /sqlite/src/util.c:1728:32 ExecutionResult: Failed26[debug] /sqlite/src/util.c:1727:23 ExecutionResult: Failed27[debug] /sqlite/src/util.c:1731:21 ExecutionResult: Failed28
       [##############------------------] 9/2029[debug] /sqlite/src/util.c:1727:32 ExecutionResult: Failed30[debug] /sqlite/src/util.c:1720:22 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1731:17 ExecutionResult: Failed32[debug] /sqlite/src/util.c:1728:23 ExecutionResult: Failed33[debug] /sqlite/src/util.c:1720:13 ExecutionResult: Failed34
       [######################----------] 14/2035[debug] /sqlite/src/util.c:1731:13 ExecutionResult: Failed36[debug] /sqlite/src/util.c:1727:13 ExecutionResult: Passed37
       [#########################-------] 16/2038[debug] /sqlite/src/util.c:1719:10 ExecutionResult: Timedout39
       [###########################-----] 17/2040[debug] /sqlite/src/util.c:1727:13 ExecutionResult: Timedout41[debug] /sqlite/src/util.c:1728:13 ExecutionResult: Timedout42
       [##############################--] 19/2043[debug] /sqlite/src/util.c:1720:31 ExecutionResult: Timedout44
       [################################] 20/20. Finished in 2714ms45[debug] Done running mutants46[info] Survived mutants (2/20):47/sqlite/src/util.c:1718:8: warning: Survived: Replaced < with <= [cxx_lt_to_le]48  if( x<8 ){49       ^50/sqlite/src/util.c:1727:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]51    while( x>255 ){ y += 40; x >>= 4; }  /*OPTIMIZATION-IF-TRUE*/52            ^53[info] Mutation score: 90%54[info] Total execution time: 3068ms55[info] Surviving mutants: 256