Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_utf_sqlite3Utf16ByteLen.out
mull_utf_sqlite3Utf16ByteLen.out52 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 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/utf.c:554:39 ExecutionResult: Failed15
       [#-------------------------------] 1/2016[debug] /sqlite/src/utf.c:555:7 ExecutionResult: Failed17
       [###-----------------------------] 2/2018[debug] /sqlite/src/utf.c:558:22 ExecutionResult: Failed19[debug] /sqlite/src/utf.c:558:11 ExecutionResult: Failed20
       [######--------------------------] 4/2021[debug] /sqlite/src/utf.c:561:59 ExecutionResult: Failed22[debug] /sqlite/src/utf.c:564:17 ExecutionResult: Failed23[debug] /sqlite/src/utf.c:562:6 ExecutionResult: Failed24
       [###########---------------------] 7/2025[debug] /sqlite/src/utf.c:561:10 ExecutionResult: Failed26[debug] /sqlite/src/utf.c:565:15 ExecutionResult: Failed27[debug] /sqlite/src/utf.c:561:21 ExecutionResult: Passed28[debug] /sqlite/src/utf.c:558:22 ExecutionResult: Failed29[debug] /sqlite/src/utf.c:558:11 ExecutionResult: Failed30
       [###################-------------] 12/2031[debug] /sqlite/src/utf.c:561:21 ExecutionResult: Failed32[debug] /sqlite/src/utf.c:561:45 ExecutionResult: Failed33[debug] /sqlite/src/utf.c:561:31 ExecutionResult: Failed34[debug] /sqlite/src/utf.c:561:59 ExecutionResult: Passed35[debug] /sqlite/src/utf.c:561:10 ExecutionResult: Failed36[debug] /sqlite/src/utf.c:561:45 ExecutionResult: Failed37[debug] /sqlite/src/utf.c:559:7 ExecutionResult: Failed38
       [##############################--] 19/2039[debug] /sqlite/src/utf.c:561:31 ExecutionResult: Failed40
       [################################] 20/20. Finished in 233ms41[debug] Done running mutants42[info] Survived mutants (2/20):43/sqlite/src/utf.c:561:21: warning: Survived: Replaced < with <= [cxx_lt_to_le]44    if( c>=0xd8 && c<0xdc && z<=zEnd && z[0]>=0xdc && z[0]<0xe0 ) z += 2;45                    ^46/sqlite/src/utf.c:561:59: warning: Survived: Replaced < with <= [cxx_lt_to_le]47    if( c>=0xd8 && c<0xdc && z<=zEnd && z[0]>=0xdc && z[0]<0xe0 ) z += 2;48                                                          ^49[info] Mutation score: 90%50[info] Total execution time: 557ms51[info] Surviving mutants: 252