AryaWu/sqlite
0
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 108ms7[info] Extracting coverage information (threads: 1)8
[################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
[################################] 1/1. Finished in 0ms11[info] Baseline run (threads: 1)12
[################################] 1/1. Finished in 112ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:1717:10 ExecutionResult: Passed15[debug] /sqlite/src/util.c:1718:8 ExecutionResult: Passed16[debug] /sqlite/src/util.c:1720:13 ExecutionResult: Passed17
[###-----------------------------] 3/2918[debug] /sqlite/src/util.c:1719:10 ExecutionResult: Passed19[debug] /sqlite/src/util.c:1742:8 ExecutionResult: Failed20
[#####---------------------------] 5/2921[debug] /sqlite/src/util.c:1745:5 ExecutionResult: Failed22[debug] /sqlite/src/util.c:1742:8 ExecutionResult: Passed23
[#######-------------------------] 7/2924[debug] /sqlite/src/util.c:1746:11 ExecutionResult: Failed25[debug] /sqlite/src/util.c:1743:8 ExecutionResult: Failed26[debug] /sqlite/src/util.c:1731:21 ExecutionResult: Passed27[debug] /sqlite/src/util.c:1745:15 ExecutionResult: Failed28[debug] /sqlite/src/util.c:1728:32 ExecutionResult: Passed29
[#############-------------------] 12/2930[debug] /sqlite/src/util.c:1743:8 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1745:9 ExecutionResult: Failed32[debug] /sqlite/src/util.c:1731:17 ExecutionResult: Passed33
[################----------------] 15/2934[debug] /sqlite/src/util.c:1743:30 ExecutionResult: Failed35[debug] /sqlite/src/util.c:1727:32 ExecutionResult: Passed36
[##################--------------] 17/2937[debug] /sqlite/src/util.c:1718:8 ExecutionResult: Passed38[debug] /sqlite/src/util.c:1719:10 ExecutionResult: Passed39[debug] /sqlite/src/util.c:1720:22 ExecutionResult: Passed40
[######################----------] 20/2941[debug] /sqlite/src/util.c:1720:13 ExecutionResult: Passed42
[#######################---------] 21/2943[debug] /sqlite/src/util.c:1731:13 ExecutionResult: Passed44
[########################--------] 22/2945[debug] /sqlite/src/util.c:1728:13 ExecutionResult: Passed46
[#########################-------] 23/2947[debug] /sqlite/src/util.c:1720:31 ExecutionResult: Timedout48[debug] /sqlite/src/util.c:1727:13 ExecutionResult: Timedout49
[###########################-----] 25/2950[debug] /sqlite/src/util.c:1728:13 ExecutionResult: Timedout51
[############################----] 26/2952[debug] /sqlite/src/util.c:1727:13 ExecutionResult: Passed53[debug] /sqlite/src/util.c:1727:23 ExecutionResult: Passed54
[##############################--] 28/2955[debug] /sqlite/src/util.c:1728:23 ExecutionResult: Passed56
[################################] 29/29. Finished in 2554ms57[debug] Done running mutants58[info] Survived mutants (18/29):59/sqlite/src/util.c:1717:10: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]60 LogEst y = 40;61 ^62/sqlite/src/util.c:1718:8: warning: Survived: Replaced < with >= [cxx_lt_to_ge]63 if( x<8 ){64 ^65/sqlite/src/util.c:1718:8: warning: Survived: Replaced < with <= [cxx_lt_to_le]66 if( x<8 ){67 ^68/sqlite/src/util.c:1719:10: warning: Survived: Replaced < with >= [cxx_lt_to_ge]69 if( x<2 ) return 0;70 ^71/sqlite/src/util.c:1719:10: warning: Survived: Replaced < with <= [cxx_lt_to_le]72 if( x<2 ) return 0;73 ^74/sqlite/src/util.c:1720:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]75 while( x<8 ){ y -= 10; x <<= 1; }76 ^77/sqlite/src/util.c:1720:13: warning: Survived: Replaced < with <= [cxx_lt_to_le]78 while( x<8 ){ y -= 10; x <<= 1; }79 ^80/sqlite/src/util.c:1720:22: warning: Survived: Replaced -= with += [cxx_sub_assign_to_add_assign]81 while( x<8 ){ y -= 10; x <<= 1; }82 ^83/sqlite/src/util.c:1727:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]84 while( x>255 ){ y += 40; x >>= 4; } /*OPTIMIZATION-IF-TRUE*/85 ^86/sqlite/src/util.c:1727:23: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]87 while( x>255 ){ y += 40; x >>= 4; } /*OPTIMIZATION-IF-TRUE*/88 ^89/sqlite/src/util.c:1727:32: warning: Survived: Replaced >>= with <<= [cxx_rshift_assign_to_lshift_assign]90 while( x>255 ){ y += 40; x >>= 4; } /*OPTIMIZATION-IF-TRUE*/91 ^92/sqlite/src/util.c:1728:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]93 while( x>15 ){ y += 10; x >>= 1; }94 ^95/sqlite/src/util.c:1728:23: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]96 while( x>15 ){ y += 10; x >>= 1; }97 ^98/sqlite/src/util.c:1728:32: warning: Survived: Replaced >>= with <<= [cxx_rshift_assign_to_lshift_assign]99 while( x>15 ){ y += 10; x >>= 1; }100 ^101/sqlite/src/util.c:1731:13: warning: Survived: Replaced & with | [cxx_and_to_or]102 return a[x&7] + y - 10;103 ^104/sqlite/src/util.c:1731:17: warning: Survived: Replaced + with - [cxx_add_to_sub]105 return a[x&7] + y - 10;106 ^107/sqlite/src/util.c:1731:21: warning: Survived: Replaced - with + [cxx_sub_to_add]108 return a[x&7] + y - 10;109 ^110/sqlite/src/util.c:1742:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]111 if( x<=1 ) return 0;112 ^113[info] Mutation score: 37%114[info] Total execution time: 2886ms115[info] Surviving mutants: 18116 