| [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 107ms |
| [info] Extracting coverage information (threads: 1) |
|
[################################] 1/1. Finished in 3ms |
| [info] Filter mutants (threads: 1) |
|
[################################] 1/1. Finished in 31ms |
| [info] Baseline run (threads: 1) |
|
[################################] 1/1. Finished in 114ms |
| [info] Running mutants (threads: 20) |
| [debug] /sqlite/src/btree.c:10811:12 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10808:10 ExecutionResult: Failed |
|
[##------------------------------] 2/22 |
| [debug] /sqlite/src/btree.c:10813:5 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10809:9 ExecutionResult: Failed |
|
[#####---------------------------] 4/22 |
| [debug] /sqlite/src/btree.c:10815:17 ExecutionResult: Passed |
|
[#######-------------------------] 5/22 |
| [debug] /sqlite/src/btree.c:10814:19 ExecutionResult: Passed |
|
[########------------------------] 6/22 |
| [debug] /sqlite/src/btree.c:10812:11 ExecutionResult: Failed |
|
[##########----------------------] 7/22 |
| [debug] /sqlite/src/btree.c:10820:7 ExecutionResult: Failed |
|
[###########---------------------] 8/22 |
| [debug] /sqlite/src/btree.c:10818:14 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10828:12 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10815:17 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10816:17 ExecutionResult: Passed |
|
[#################---------------] 12/22 |
| [debug] /sqlite/src/btree.c:10817:7 ExecutionResult: Failed |
|
[##################--------------] 13/22 |
| [debug] /sqlite/src/btree.c:10819:14 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10814:13 ExecutionResult: Failed |
|
[#####################-----------] 15/22 |
| [debug] /sqlite/src/btree.c:10815:25 ExecutionResult: Failed |
|
[#######################---------] 16/22 |
| [debug] /sqlite/src/btree.c:10810:12 ExecutionResult: Failed |
|
[########################--------] 17/22 |
| [debug] /sqlite/src/btree.c:10814:19 ExecutionResult: Failed |
| [debug] /sqlite/src/btree.c:10808:21 ExecutionResult: Failed |
|
[###########################-----] 19/22 |
| [debug] /sqlite/src/btree.c:10816:17 ExecutionResult: Failed |
|
[#############################---] 20/22 |
| [debug] /sqlite/src/btree.c:10814:16 ExecutionResult: Timedout |
|
[##############################--] 21/22 |
| [debug] /sqlite/src/btree.c:10815:32 ExecutionResult: Timedout |
|
[################################] 22/22. Finished in 2497ms |
| [debug] Done running mutants |
| [info] Survived mutants (3/22): |
| /sqlite/src/btree.c:10814:19: warning: Survived: Replaced <= with < [cxx_le_to_lt] |
| while( (j = i*2)<=aHeap[0] ){ |
| ^ |
| /sqlite/src/btree.c:10815:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge] |
| if( aHeap[j]>aHeap[j+1] ) j++; |
| ^ |
| /sqlite/src/btree.c:10816:17: warning: Survived: Replaced < with <= [cxx_lt_to_le] |
| if( aHeap[i]<aHeap[j] ) break; |
| ^ |
| [info] Mutation score: 86% |
| [info] Total execution time: 2901ms |
| [info] Surviving mutants: 3 |
|
|