CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_util_sqlite3SafetyCheckSickOrOk.out67 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 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 17)14[debug] /sqlite/src/util.c:93:8 ExecutionResult: Failed15[debug] /sqlite/src/util.c:132:15 ExecutionResult: Failed16
       [###-----------------------------] 2/1717[debug] /sqlite/src/util.c:136:23 ExecutionResult: Passed18[debug] /sqlite/src/util.c:94:28 ExecutionResult: Passed19
       [#######-------------------------] 4/1720[debug] /sqlite/src/util.c:422:7 ExecutionResult: Passed21
       [#########-----------------------] 5/1722[debug] /sqlite/src/util.c:424:10 ExecutionResult: Passed23
       [###########---------------------] 6/1724[debug] /sqlite/src/util.c:425:12 ExecutionResult: Passed25[debug] /sqlite/src/util.c:1567:17 ExecutionResult: Failed26[debug] /sqlite/src/util.c:1527:3 ExecutionResult: Failed27[debug] /sqlite/src/util.c:427:32 ExecutionResult: Passed28[debug] /sqlite/src/util.c:423:7 ExecutionResult: Passed29[debug] /sqlite/src/util.c:427:9 ExecutionResult: Passed30[debug] /sqlite/src/util.c:1568:17 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1571:5 ExecutionResult: Failed32[debug] /sqlite/src/util.c:1566:14 ExecutionResult: Failed33
       [############################----] 15/1734[debug] /sqlite/src/util.c:1569:17 ExecutionResult: Failed35
       [##############################--] 16/1736[debug] /sqlite/src/util.c:94:21 ExecutionResult: Failed37
       [################################] 17/17. Finished in 481ms38[debug] Done running mutants39[info] Survived mutants (8/17):40/sqlite/src/util.c:94:28: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]41  return 0x3fffffff & (int)strlen(z);42                           ^43/sqlite/src/util.c:136:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]44    db->errByteOffset = -1;45                      ^46/sqlite/src/util.c:422:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]47    c = *a;48      ^49/sqlite/src/util.c:423:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]50    x = *b;51      ^52/sqlite/src/util.c:424:10: warning: Survived: Replaced == with != [cxx_eq_to_ne]53    if( c==x ){54         ^55/sqlite/src/util.c:425:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]56      if( c==0 ) break;57           ^58/sqlite/src/util.c:427:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]59      c = (int)UpperToLower[c] - (int)UpperToLower[x];60        ^61/sqlite/src/util.c:427:32: warning: Survived: Replaced - with + [cxx_sub_to_add]62      c = (int)UpperToLower[c] - (int)UpperToLower[x];63                               ^64[info] Mutation score: 52%65[info] Total execution time: 799ms66[info] Surviving mutants: 867