CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_printf_sqlite3RCStrUnref.out28 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 107ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 3ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 4)14[debug] /sqlite/src/printf.c:1537:16 ExecutionResult: Failed15[debug] /sqlite/src/printf.c:1538:14 ExecutionResult: Failed16[debug] /sqlite/src/printf.c:1537:16 ExecutionResult: Failed17
       [########################--------] 3/418[debug] /sqlite/src/printf.c:1540:5 ExecutionResult: Passed19
       [################################] 4/4. Finished in 125ms20[debug] Done running mutants21[info] Survived mutants (1/4):22/sqlite/src/printf.c:1540:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]23    sqlite3_free(p);24    ^25[info] Mutation score: 75%26[info] Total execution time: 443ms27[info] Surviving mutants: 128