CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_util_sqlite3LogEstFromDouble.out116 linesDownload Raw Back to mull-reports
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