mull-reports/mull_alter_findConstraintFunc.out

[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 108ms
[info] Extracting coverage information (threads: 1)

       [################################] 1/1. Finished in 4ms
[info] Filter mutants (threads: 1)

       [################################] 1/1. Finished in 1ms
[info] Baseline run (threads: 1)

       [################################] 1/1. Finished in 110ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/alter.c:2136:7 ExecutionResult: Failed

       [--------------------------------] 1/58
[debug] /sqlite/src/alter.c:2142:12 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2150:18 ExecutionResult: Passed

       [#-------------------------------] 3/58
[debug] /sqlite/src/alter.c:2465:8 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2475:3 ExecutionResult: Failed

       [##------------------------------] 5/58
[debug] /sqlite/src/alter.c:2401:10 ExecutionResult: Failed

       [###-----------------------------] 6/58
[debug] /sqlite/src/alter.c:2955:10 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2959:15 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2975:5 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2957:11 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2961:11 ExecutionResult: Failed

       [######--------------------------] 11/58
[debug] /sqlite/src/alter.c:2153:18 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2477:3 ExecutionResult: Passed

       [#######-------------------------] 13/58
[debug] /sqlite/src/alter.c:2399:9 ExecutionResult: Passed

       [#######-------------------------] 14/58
[debug] /sqlite/src/alter.c:2950:23 ExecutionResult: Failed

       [########------------------------] 15/58
[debug] /sqlite/src/alter.c:2146:17 ExecutionResult: Failed

       [########------------------------] 16/58
[debug] /sqlite/src/alter.c:2137:7 ExecutionResult: Passed

       [#########-----------------------] 17/58
[debug] /sqlite/src/alter.c:2949:11 ExecutionResult: Failed

       [#########-----------------------] 18/58
[debug] /sqlite/src/alter.c:3058:3 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2144:8 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2151:11 ExecutionResult: Passed

       [###########---------------------] 21/58
[debug] /sqlite/src/alter.c:2476:9 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2958:11 ExecutionResult: Passed

       [############--------------------] 23/58
[debug] /sqlite/src/alter.c:2962:14 ExecutionResult: Failed

       [#############-------------------] 24/58
[debug] /sqlite/src/alter.c:2960:12 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2400:9 ExecutionResult: Failed

       [##############------------------] 26/58
[debug] /sqlite/src/alter.c:2951:10 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2942:7 ExecutionResult: Failed

       [###############-----------------] 28/58
[debug] /sqlite/src/alter.c:2146:17 ExecutionResult: Passed

       [################----------------] 29/58
[debug] /sqlite/src/alter.c:2469:35 ExecutionResult: Failed

       [################----------------] 30/58
[debug] /sqlite/src/alter.c:2139:10 ExecutionResult: Failed

       [#################---------------] 31/58
[debug] /sqlite/src/alter.c:2152:14 ExecutionResult: Failed

       [#################---------------] 32/58
[debug] /sqlite/src/alter.c:2476:11 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2145:9 ExecutionResult: Failed

       [##################--------------] 34/58
[debug] /sqlite/src/alter.c:2949:23 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2963:9 ExecutionResult: Failed

       [###################-------------] 36/58
[debug] /sqlite/src/alter.c:2960:14 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2400:13 ExecutionResult: Failed

       [####################------------] 38/58
[debug] /sqlite/src/alter.c:2943:7 ExecutionResult: Passed

       [#####################-----------] 39/58
[debug] /sqlite/src/alter.c:2147:12 ExecutionResult: Failed

       [######################----------] 40/58
[debug] /sqlite/src/alter.c:2470:12 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2950:11 ExecutionResult: Failed

       [#######################---------] 42/58
[debug] /sqlite/src/alter.c:2139:13 ExecutionResult: Timedout
[debug] /sqlite/src/alter.c:2147:15 ExecutionResult: Timedout

       [########################--------] 44/58
[debug] /sqlite/src/alter.c:2966:16 ExecutionResult: Timedout

       [########################--------] 45/58
[debug] /sqlite/src/alter.c:2971:3 ExecutionResult: Failed

       [#########################-------] 46/58
[debug] /sqlite/src/alter.c:2401:25 ExecutionResult: Timedout

       [#########################-------] 47/58
[debug] /sqlite/src/alter.c:2955:13 ExecutionResult: Timedout

       [##########################------] 48/58
[debug] /sqlite/src/alter.c:2159:12 ExecutionResult: Timedout

       [###########################-----] 49/58
[debug] /sqlite/src/alter.c:2402:10 ExecutionResult: Failed

       [###########################-----] 50/58
[debug] /sqlite/src/alter.c:2959:12 ExecutionResult: Timedout

       [############################----] 51/58
[debug] /sqlite/src/alter.c:2397:7 ExecutionResult: Failed

       [############################----] 52/58
[debug] /sqlite/src/alter.c:2951:13 ExecutionResult: Timedout

       [#############################---] 53/58
[debug] /sqlite/src/alter.c:2140:12 ExecutionResult: Timedout
[debug] /sqlite/src/alter.c:2148:12 ExecutionResult: Timedout

       [##############################--] 55/58
[debug] /sqlite/src/alter.c:2149:14 ExecutionResult: Passed

       [##############################--] 56/58
[debug] /sqlite/src/alter.c:2956:10 ExecutionResult: Timedout

       [###############################-] 57/58
[debug] /sqlite/src/alter.c:2140:27 ExecutionResult: Timedout

       [################################] 58/58. Finished in 6986ms
[debug] Done running mutants
[info] Survived mutants (13/58):
/sqlite/src/alter.c:2137:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int t = 0;
      ^
/sqlite/src/alter.c:2142:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  *piToken = t;
           ^
/sqlite/src/alter.c:2146:17: warning: Survived: Replaced > with <= [cxx_gt_to_le]
    while( nNest>0 ){
                ^
/sqlite/src/alter.c:2149:14: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]
        nNest++;
             ^
/sqlite/src/alter.c:2150:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]
      }else if( t==TK_RP ){
                 ^
/sqlite/src/alter.c:2151:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
        t = TK_LP;
          ^
/sqlite/src/alter.c:2153:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]
      }else if( t==TK_ILLEGAL ){
                 ^
/sqlite/src/alter.c:2399:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
    int t = 0;
        ^
/sqlite/src/alter.c:2477:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3_free(zCopy);
  ^
/sqlite/src/alter.c:2943:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int t = 0;
      ^
/sqlite/src/alter.c:2957:11: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
      int nTok = 0;
          ^
/sqlite/src/alter.c:2958:11: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
      int cmp = 0;
          ^
/sqlite/src/alter.c:3058:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3InsertBuiltinFuncs(aAlterTableFuncs, ArraySize(aAlterTableFuncs));
  ^
[info] Mutation score: 77%
[info] Total execution time: 7297ms
[info] Surviving mutants: 13