sqlite / mull-reports /mull_btree_btreeHeapPull.out
AryaWu's picture
Upload folder using huggingface_hub
7510827 verified
[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