CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_util_sqlite3SafetyCheckOk.out76 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 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 112ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:93:8 ExecutionResult: Passed15
       [#-------------------------------] 1/2116[debug] /sqlite/src/util.c:423:7 ExecutionResult: Passed17[debug] /sqlite/src/util.c:94:28 ExecutionResult: Passed18[debug] /sqlite/src/util.c:425:12 ExecutionResult: Passed19[debug] /sqlite/src/util.c:422:7 ExecutionResult: Passed20
       [#######-------------------------] 5/2121[debug] /sqlite/src/util.c:424:10 ExecutionResult: Passed22
       [#########-----------------------] 6/2123[debug] /sqlite/src/util.c:1554:17 ExecutionResult: Failed24[debug] /sqlite/src/util.c:1550:5 ExecutionResult: Failed25
       [############--------------------] 8/2126[debug] /sqlite/src/util.c:1527:3 ExecutionResult: Failed27[debug] /sqlite/src/util.c:427:32 ExecutionResult: Passed28
       [###############-----------------] 10/2129[debug] /sqlite/src/util.c:1557:7 ExecutionResult: Failed30[debug] /sqlite/src/util.c:1571:5 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1567:17 ExecutionResult: Failed32[debug] /sqlite/src/util.c:427:9 ExecutionResult: Passed33[debug] /sqlite/src/util.c:1555:9 ExecutionResult: Failed34[debug] /sqlite/src/util.c:1566:14 ExecutionResult: Failed35[debug] /sqlite/src/util.c:1553:14 ExecutionResult: Failed36
       [#########################-------] 17/2137[debug] /sqlite/src/util.c:1568:17 ExecutionResult: Failed38[debug] /sqlite/src/util.c:1569:17 ExecutionResult: Failed39
       [############################----] 19/2140[debug] /sqlite/src/util.c:1549:9 ExecutionResult: Failed41
       [##############################--] 20/2142[debug] /sqlite/src/util.c:94:21 ExecutionResult: Passed43
       [################################] 21/21. Finished in 294ms44[debug] Done running mutants45[info] Survived mutants (9/21):46/sqlite/src/util.c:93:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]47  if( z==0 ) return 0;48       ^49/sqlite/src/util.c:94:21: warning: Survived: Replaced & with | [cxx_and_to_or]50  return 0x3fffffff & (int)strlen(z);51                    ^52/sqlite/src/util.c:94:28: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]53  return 0x3fffffff & (int)strlen(z);54                           ^55/sqlite/src/util.c:422:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]56    c = *a;57      ^58/sqlite/src/util.c:423:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]59    x = *b;60      ^61/sqlite/src/util.c:424:10: warning: Survived: Replaced == with != [cxx_eq_to_ne]62    if( c==x ){63         ^64/sqlite/src/util.c:425:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]65      if( c==0 ) break;66           ^67/sqlite/src/util.c:427:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]68      c = (int)UpperToLower[c] - (int)UpperToLower[x];69        ^70/sqlite/src/util.c:427:32: warning: Survived: Replaced - with + [cxx_sub_to_add]71      c = (int)UpperToLower[c] - (int)UpperToLower[x];72                               ^73[info] Mutation score: 57%74[info] Total execution time: 616ms75[info] Surviving mutants: 976