mull-reports/mull_btree_btreeHeapInsert.out

[info] Using config /sqlite/mull.yml
[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.
[warning] Could not find dynamic library: libm.so.6
[warning] Could not find dynamic library: libc.so.6
[info] Warm up run (threads: 1)

       [################################] 1/1. Finished in 108ms
[info] Extracting coverage information (threads: 1)

       [################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)

       [################################] 1/1. Finished in 32ms
[info] Baseline run (threads: 1)

       [################################] 1/1. Finished in 112ms
[info] Running mutants (threads: 14)
[debug] /sqlite/src/btree.c:10797:5 ExecutionResult: Failed

       [##------------------------------] 1/14
[debug] /sqlite/src/btree.c:10799:16 ExecutionResult: Failed

       [####----------------------------] 2/14
[debug] /sqlite/src/btree.c:10799:13 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:10798:12 ExecutionResult: Failed

       [#########-----------------------] 4/14
[debug] /sqlite/src/btree.c:10799:19 ExecutionResult: Failed

       [###########---------------------] 5/14
[debug] /sqlite/src/btree.c:10799:33 ExecutionResult: Failed

       [#############-------------------] 6/14
[debug] /sqlite/src/btree.c:10802:14 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:10808:5 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:10799:19 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:10799:33 ExecutionResult: Passed

       [######################----------] 10/14
[debug] /sqlite/src/btree.c:10800:7 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:10803:7 ExecutionResult: Failed

       [###########################-----] 12/14
[debug] /sqlite/src/btree.c:10801:14 ExecutionResult: Failed

       [#############################---] 13/14
[debug] /sqlite/src/btree.c:10797:7 ExecutionResult: Failed

       [################################] 14/14. Finished in 256ms
[debug] Done running mutants
[info] Survived mutants (1/14):
/sqlite/src/btree.c:10799:33: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
  while( (j = i/2)>0 && aHeap[j]>aHeap[i] ){
                                ^
[info] Mutation score: 92%
[info] Total execution time: 658ms
[info] Surviving mutants: 1