Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_utf_sqlite3Utf8ReadLimited.out
mull_utf_sqlite3Utf8ReadLimited.out47 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 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 19)14[debug] /sqlite/src/utf.c:225:10 ExecutionResult: Failed15[debug] /sqlite/src/utf.c:216:5 ExecutionResult: Failed16[debug] /sqlite/src/utf.c:214:7 ExecutionResult: Failed17
       [#####---------------------------] 3/1918[debug] /sqlite/src/utf.c:218:7 ExecutionResult: Failed19[debug] /sqlite/src/utf.c:217:8 ExecutionResult: Failed20
       [########------------------------] 5/1921[debug] /sqlite/src/utf.c:218:28 ExecutionResult: Failed22
       [##########----------------------] 6/1923[debug] /sqlite/src/utf.c:221:9 ExecutionResult: Failed24[debug] /sqlite/src/utf.c:219:10 ExecutionResult: Failed25[debug] /sqlite/src/utf.c:220:32 ExecutionResult: Failed26[debug] /sqlite/src/utf.c:220:25 ExecutionResult: Failed27[debug] /sqlite/src/utf.c:219:10 ExecutionResult: Passed28[debug] /sqlite/src/utf.c:221:13 ExecutionResult: Failed29[debug] /sqlite/src/utf.c:220:13 ExecutionResult: Failed30[debug] /sqlite/src/utf.c:220:13 ExecutionResult: Failed31[debug] /sqlite/src/utf.c:219:17 ExecutionResult: Failed32
       [#########################-------] 15/1933[debug] /sqlite/src/utf.c:221:26 ExecutionResult: Failed34[debug] /sqlite/src/utf.c:221:18 ExecutionResult: Failed35[debug] /sqlite/src/utf.c:222:8 ExecutionResult: Failed36
       [##############################--] 18/1937[debug] /sqlite/src/utf.c:217:8 ExecutionResult: Failed38
       [################################] 19/19. Finished in 252ms39[debug] Done running mutants40[info] Survived mutants (1/19):41/sqlite/src/utf.c:219:10: warning: Survived: Replaced > with >= [cxx_gt_to_ge]42    if( n>4 ) n = 4;43         ^44[info] Mutation score: 94%45[info] Total execution time: 578ms46[info] Surviving mutants: 147