AryaWu/sqlite

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 103ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 66ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/json.c:934:15 ExecutionResult: Failed15[debug] /sqlite/src/json.c:947:8 ExecutionResult: Failed16[debug] /sqlite/src/json.c:934:5 ExecutionResult: Failed17
       [#-------------------------------] 3/5118[debug] /sqlite/src/json.c:948:8 ExecutionResult: Failed19[debug] /sqlite/src/json.c:949:8 ExecutionResult: Failed20
       [###-----------------------------] 5/5121[debug] /sqlite/src/json.c:2809:13 ExecutionResult: Failed22[debug] /sqlite/src/json.c:2820:13 ExecutionResult: Passed23
       [####----------------------------] 7/5124[debug] /sqlite/src/json.c:950:7 ExecutionResult: Failed25[debug] /sqlite/src/json.c:2841:14 ExecutionResult: Passed26[debug] /sqlite/src/json.c:2829:16 ExecutionResult: Passed27
       [######--------------------------] 10/5128[debug] /sqlite/src/json.c:2861:12 ExecutionResult: Failed29[debug] /sqlite/src/json.c:2827:13 ExecutionResult: Failed30[debug] /sqlite/src/json.c:2807:13 ExecutionResult: Failed31[debug] /sqlite/src/json.c:2826:17 ExecutionResult: Passed32
       [########------------------------] 14/5133[debug] /sqlite/src/json.c:2804:14 ExecutionResult: Failed34[debug] /sqlite/src/json.c:2835:11 ExecutionResult: Failed35[debug] /sqlite/src/json.c:2838:14 ExecutionResult: Passed36[debug] /sqlite/src/json.c:2863:12 ExecutionResult: Failed37
       [###########---------------------] 18/5138[debug] /sqlite/src/json.c:2814:14 ExecutionResult: Passed39[debug] /sqlite/src/json.c:2824:36 ExecutionResult: Failed40
       [############--------------------] 20/5141[debug] /sqlite/src/json.c:939:17 ExecutionResult: Failed42
       [#############-------------------] 21/5143[debug] /sqlite/src/json.c:947:26 ExecutionResult: Failed44[debug] /sqlite/src/json.c:948:26 ExecutionResult: Failed45
       [##############------------------] 23/5146[debug] /sqlite/src/json.c:949:26 ExecutionResult: Failed47
       [###############-----------------] 24/5148[debug] /sqlite/src/json.c:2809:18 ExecutionResult: Failed49[debug] /sqlite/src/json.c:2822:15 ExecutionResult: Failed50[debug] /sqlite/src/json.c:2703:8 ExecutionResult: Failed51
       [################----------------] 27/5152[debug] /sqlite/src/json.c:2860:14 ExecutionResult: Failed53[debug] /sqlite/src/json.c:2832:15 ExecutionResult: Passed54[debug] /sqlite/src/json.c:2861:40 ExecutionResult: Failed55
       [##################--------------] 30/5156[debug] /sqlite/src/json.c:2827:18 ExecutionResult: Failed57[debug] /sqlite/src/json.c:2835:15 ExecutionResult: Failed58[debug] /sqlite/src/json.c:2808:16 ExecutionResult: Passed59[debug] /sqlite/src/json.c:2826:17 ExecutionResult: Failed60[debug] /sqlite/src/json.c:2805:13 ExecutionResult: Failed61
       [#####################-----------] 35/5162[debug] /sqlite/src/json.c:2840:14 ExecutionResult: Failed63[debug] /sqlite/src/json.c:2869:12 ExecutionResult: Failed64[debug] /sqlite/src/json.c:2817:11 ExecutionResult: Failed65
       [#######################---------] 38/5166[debug] /sqlite/src/json.c:2825:14 ExecutionResult: Failed67
       [########################--------] 39/5168[debug] /sqlite/src/json.c:934:9 ExecutionResult: Failed69
       [#########################-------] 40/5170[debug] /sqlite/src/json.c:947:5 ExecutionResult: Failed71
       [#########################-------] 41/5172[debug] /sqlite/src/json.c:948:5 ExecutionResult: Failed73[debug] /sqlite/src/json.c:950:5 ExecutionResult: Failed74
       [##########################------] 43/5175[debug] /sqlite/src/json.c:949:5 ExecutionResult: Failed76
       [###########################-----] 44/5177[debug] /sqlite/src/json.c:2811:15 ExecutionResult: Passed78[debug] /sqlite/src/json.c:2823:14 ExecutionResult: Failed79
       [############################----] 46/5180[debug] /sqlite/src/json.c:2703:8 ExecutionResult: Failed81
       [#############################---] 47/5182[debug] /sqlite/src/json.c:2808:16 ExecutionResult: Failed83
       [##############################--] 48/5184[debug] /sqlite/src/json.c:934:12 ExecutionResult: Failed85
       [##############################--] 49/5186[debug] /sqlite/src/json.c:2806:34 ExecutionResult: Failed87
       [###############################-] 50/5188[debug] /sqlite/src/json.c:2817:15 ExecutionResult: Failed89
       [################################] 51/51. Finished in 576ms90[debug] Done running mutants91[info] Survived mutants (9/51):92/sqlite/src/json.c:2808:16: warning: Survived: Replaced >= with > [cxx_ge_to_gt]93      if( cLeft>=0xc0 ){94               ^95/sqlite/src/json.c:2811:15: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]96        nLeft -= sz;97              ^98/sqlite/src/json.c:2814:14: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]99        nLeft--;100             ^101/sqlite/src/json.c:2820:13: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]102      nLeft -= n;103            ^104/sqlite/src/json.c:2826:17: warning: Survived: Replaced >= with > [cxx_ge_to_gt]105      if( cRight>=0xc0 ){106                ^107/sqlite/src/json.c:2829:16: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]108        nRight -= sz;109               ^110/sqlite/src/json.c:2832:15: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]111        nRight--;112              ^113/sqlite/src/json.c:2838:14: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]114      nRight -= n;115             ^116/sqlite/src/json.c:2841:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]117    if( cLeft==0 ) return 1;118             ^119[info] Mutation score: 82%120[info] Total execution time: 1043ms121[info] Surviving mutants: 9122