Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_util_sqlite3LogEstAdd.out
mull_util_sqlite3LogEstAdd.out48 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 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 112ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:1700:8 ExecutionResult: Passed15[debug] /sqlite/src/util.c:1701:10 ExecutionResult: Failed16[debug] /sqlite/src/util.c:1700:8 ExecutionResult: Failed17[debug] /sqlite/src/util.c:1701:12 ExecutionResult: Failed18
       [######--------------------------] 4/2019[debug] /sqlite/src/util.c:1702:10 ExecutionResult: Failed20
       [########------------------------] 5/2021[debug] /sqlite/src/util.c:1701:10 ExecutionResult: Failed22[debug] /sqlite/src/util.c:1702:10 ExecutionResult: Failed23[debug] /sqlite/src/util.c:1706:12 ExecutionResult: Failed24[debug] /sqlite/src/util.c:1703:13 ExecutionResult: Failed25
       [##############------------------] 9/2026[debug] /sqlite/src/util.c:1705:12 ExecutionResult: Failed27[debug] /sqlite/src/util.c:1707:17 ExecutionResult: Failed28[debug] /sqlite/src/util.c:1706:26 ExecutionResult: Failed29[debug] /sqlite/src/util.c:1705:10 ExecutionResult: Failed30[debug] /sqlite/src/util.c:1706:10 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1702:26 ExecutionResult: Failed32[debug] /sqlite/src/util.c:1707:13 ExecutionResult: Failed33[debug] /sqlite/src/util.c:1703:17 ExecutionResult: Failed34[debug] /sqlite/src/util.c:1705:10 ExecutionResult: Failed35
       [############################----] 18/2036[debug] /sqlite/src/util.c:1706:10 ExecutionResult: Failed37
       [##############################--] 19/2038[debug] /sqlite/src/util.c:1702:12 ExecutionResult: Failed39
       [################################] 20/20. Finished in 224ms40[debug] Done running mutants41[info] Survived mutants (1/20):42/sqlite/src/util.c:1700:8: warning: Survived: Replaced >= with > [cxx_ge_to_gt]43  if( a>=b ){44       ^45[info] Mutation score: 95%46[info] Total execution time: 555ms47[info] Surviving mutants: 148