Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_util_sqlite3SubInt64.out
mull_util_sqlite3SubInt64.out61 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 105ms7[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 107ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:1588:7 ExecutionResult: Failed15[debug] /sqlite/src/util.c:1591:9 ExecutionResult: Failed16
       [##------------------------------] 2/2217[debug] /sqlite/src/util.c:1594:31 ExecutionResult: Failed18[debug] /sqlite/src/util.c:1594:36 ExecutionResult: Failed19[debug] /sqlite/src/util.c:1594:11 ExecutionResult: Failed20
       [#######-------------------------] 5/2221[debug] /sqlite/src/util.c:1598:39 ExecutionResult: Failed22
       [########------------------------] 6/2223[debug] /sqlite/src/util.c:1615:12 ExecutionResult: Failed24[debug] /sqlite/src/util.c:1611:14 ExecutionResult: Failed25[debug] /sqlite/src/util.c:1598:22 ExecutionResult: Failed26[debug] /sqlite/src/util.c:1598:11 ExecutionResult: Passed27[debug] /sqlite/src/util.c:1598:11 ExecutionResult: Failed28[debug] /sqlite/src/util.c:1598:39 ExecutionResult: Failed29
       [#################---------------] 12/2230[debug] /sqlite/src/util.c:1612:9 ExecutionResult: Passed31[debug] /sqlite/src/util.c:1615:32 ExecutionResult: Failed32[debug] /sqlite/src/util.c:1598:44 ExecutionResult: Failed33[debug] /sqlite/src/util.c:1598:17 ExecutionResult: Failed34
       [#######################---------] 16/2235[debug] /sqlite/src/util.c:1600:7 ExecutionResult: Failed36[debug] /sqlite/src/util.c:1594:36 ExecutionResult: Failed37
       [##########################------] 18/2238[debug] /sqlite/src/util.c:1611:14 ExecutionResult: Failed39[debug] /sqlite/src/util.c:1609:9 ExecutionResult: Failed40
       [#############################---] 20/2241[debug] /sqlite/src/util.c:1591:9 ExecutionResult: Passed42[debug] /sqlite/src/util.c:1594:11 ExecutionResult: Passed43
       [################################] 22/22. Finished in 295ms44[debug] Done running mutants45[info] Survived mutants (4/22):46/sqlite/src/util.c:1591:9: warning: Survived: Replaced >= with > [cxx_ge_to_gt]47  if( iB>=0 ){48        ^49/sqlite/src/util.c:1594:11: warning: Survived: Replaced > with >= [cxx_gt_to_ge]50    if( iA>0 && LARGEST_INT64 - iA < iB ) return 1;51          ^52/sqlite/src/util.c:1598:11: warning: Survived: Replaced < with <= [cxx_lt_to_le]53    if( iA<0 && -(iA + LARGEST_INT64) > iB + 1 ) return 1;54          ^55/sqlite/src/util.c:1612:9: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]56    *pA -= iB;57        ^58[info] Mutation score: 81%59[info] Total execution time: 617ms60[info] Surviving mutants: 461