CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_util_sqlite3SystemError.out72 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 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:93:8 ExecutionResult: Failed15[debug] /sqlite/src/util.c:94:28 ExecutionResult: Passed16[debug] /sqlite/src/util.c:132:15 ExecutionResult: Failed17
       [####----------------------------] 3/2018[debug] /sqlite/src/util.c:136:23 ExecutionResult: Passed19[debug] /sqlite/src/util.c:156:9 ExecutionResult: Failed20
       [########------------------------] 5/2021[debug] /sqlite/src/util.c:176:21 ExecutionResult: Failed22[debug] /sqlite/src/util.c:176:19 ExecutionResult: Failed23[debug] /sqlite/src/util.c:1568:17 ExecutionResult: Failed24[debug] /sqlite/src/util.c:425:12 ExecutionResult: Passed25[debug] /sqlite/src/util.c:1566:14 ExecutionResult: Failed26[debug] /sqlite/src/util.c:422:7 ExecutionResult: Passed27[debug] /sqlite/src/util.c:423:7 ExecutionResult: Passed28
       [###################-------------] 12/2029[debug] /sqlite/src/util.c:174:6 ExecutionResult: Failed30[debug] /sqlite/src/util.c:424:10 ExecutionResult: Passed31[debug] /sqlite/src/util.c:427:32 ExecutionResult: Passed32[debug] /sqlite/src/util.c:175:9 ExecutionResult: Failed33[debug] /sqlite/src/util.c:1567:17 ExecutionResult: Passed34[debug] /sqlite/src/util.c:427:9 ExecutionResult: Passed35
       [############################----] 18/2036[debug] /sqlite/src/util.c:175:32 ExecutionResult: Failed37
       [##############################--] 19/2038[debug] /sqlite/src/util.c:94:21 ExecutionResult: Failed39
       [################################] 20/20. Finished in 532ms40[debug] Done running mutants41[info] Survived mutants (9/20):42/sqlite/src/util.c:94:28: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]43  return 0x3fffffff & (int)strlen(z);44                           ^45/sqlite/src/util.c:136:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]46    db->errByteOffset = -1;47                      ^48/sqlite/src/util.c:422:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]49    c = *a;50      ^51/sqlite/src/util.c:423:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]52    x = *b;53      ^54/sqlite/src/util.c:424:10: warning: Survived: Replaced == with != [cxx_eq_to_ne]55    if( c==x ){56         ^57/sqlite/src/util.c:425:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]58      if( c==0 ) break;59           ^60/sqlite/src/util.c:427:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]61      c = (int)UpperToLower[c] - (int)UpperToLower[x];62        ^63/sqlite/src/util.c:427:32: warning: Survived: Replaced - with + [cxx_sub_to_add]64      c = (int)UpperToLower[c] - (int)UpperToLower[x];65                               ^66/sqlite/src/util.c:1567:17: warning: Survived: Replaced != with == [cxx_ne_to_eq]67  if( eOpenState!=SQLITE_STATE_SICK &&68                ^69[info] Mutation score: 55%70[info] Total execution time: 857ms71[info] Surviving mutants: 972