WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --mutp is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.33333
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 1
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 4
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-00-F5-48 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Thu Jun 13 10:55:24 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5345  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp2e2fc4.c /tmp/tmp86492c.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/src/configfile-glue.c: parsing
cilRep: preprocessed/src/configfile-glue.c: parsed (0.697871 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 30 "configfile-glue.c"
i ++;
Liveness failed on function:
 int config_insert_values_internal(server *srv , array *ca ,
                                   config_values_t const   *cv ) 
{ size_t i ;
  data_unset *du ;
  size_t tmp ;
  size_t j ;
  data_array *da ;
  data_string *ds ;
  data_unset *tmp___0 ;
  data_string *ds___0 ;
  data_integer *di ;
  data_integer *di___0 ;
  data_string *ds___1 ;
  long tmp___1 ;
  int tmp___2 ;
  data_integer *di___1 ;
  data_string *ds___2 ;
  long tmp___3 ;
  int tmp___4 ;
  data_string *ds___3 ;
  int tmp___5 ;
  int tmp___6 ;
  char const   *tmp___7 ;
  char const   *tmp___8 ;

  {
   501: /* CIL Label */ 
#line 30
  i = 0U;
   502: /* CIL Label */ 
#line 30
  while ((cv + i)->key) {
#line 32
    tmp = strlen((char const   *)(cv + i)->key);
#line 32
    du = array_get_element(ca, (char const   *)(cv + i)->key, tmp);
#line 32
    if ((unsigned int )((void *)0) == (unsigned int )du) {
      goto __Cont;
    } else {

    }
#line 38
    switch ((int )(cv + i)->type) {
    case 5: 
#line 40
    if ((unsigned int )du->type == 3U) {
#line 42
      da = (data_array *)du;
#line 44
      j = 0U;
#line 44
      while (j < (da->value)->used) {
#line 45
        if ((unsigned int )(*((da->value)->data + j))->type == 1U) {
#line 48
          tmp___0 = array_get_unused_element((array *)(cv + i)->destination,
                                             (enum __anonenum_data_type_t_108 )1);
#line 48
          ds = (data_string *)tmp___0;
#line 48
          if ((unsigned int )((void *)0) == (unsigned int )ds) {
#line 49
            ds = data_string_init();
          } else {

          }
#line 52
          buffer_copy_string_buffer(ds->value,
                                    (buffer const   *)((data_string *)*((da->value)->data + j))->value);
#line 53
          if (! da->is_index_key) {
#line 57
            buffer_copy_string_buffer(ds->key,
                                      (buffer const   *)((data_string *)*((da->value)->data + j))->key);
          } else {

          }
#line 60
          array_insert_unique((array *)(cv + i)->destination, (data_unset *)ds);
        } else {
#line 62
          log_error_write((void *)srv, "configfile-glue.c", 62U, "sssd",
                          "the key of an array can only be a string or a integer, variable:",
                          (cv + i)->key, "type:",
                          (*((da->value)->data + j))->type);
#line 66
          return (-1);
        }
#line 44
        j ++;
      }
    } else {
#line 70
      log_error_write((void *)srv, "configfile-glue.c", 70U, "sss",
                      "unexpected type for key: ", (cv + i)->key,
                      "array of strings");
#line 72
      return (-1);
    }
#line 74
    break;
    case 1: 
#line 76
    if ((unsigned int )du->type == 1U) {
#line 77
      ds___0 = (data_string *)du;
#line 79
      buffer_copy_string_buffer((buffer *)(cv + i)->destination,
                                (buffer const   *)ds___0->value);
    } else {
#line 80
      if ((unsigned int )du->type == 4U) {
#line 81
        di = (data_integer *)du;
#line 83
        buffer_copy_long((buffer *)(cv + i)->destination, (long )di->value);
      } else {
#line 85
        log_error_write((void *)srv, "configfile-glue.c", 85U, "ssss",
                        "unexpected type for key: ", (cv + i)->key, "(string)",
                        "\"...\"");
#line 87
        return (-1);
      }
    }
#line 89
    break;
    case 2: 
#line 91
    switch ((int )du->type) {
    case 4: 
#line 93
    di___0 = (data_integer *)du;
#line 95
    *((unsigned short *)(cv + i)->destination) = (unsigned short )di___0->value;
#line 96
    break;
    case 1: 
#line 99
    ds___1 = (data_string *)du;
#line 101
    tmp___2 = buffer_isdigit(ds___1->value);
#line 101
    if (tmp___2) {
#line 102
      tmp___1 = strtol((char const   */* __restrict  */)(ds___1->value)->ptr,
                       (char **/* __restrict  */)((void *)0), 10);
#line 102
      *((unsigned short *)(cv + i)->destination) = (unsigned short )tmp___1;
#line 103
      break;
    } else {

    }
#line 106
    log_error_write((void *)srv, "configfile-glue.c", 106U, "ssb",
                    "got a string but expected a short:", (cv + i)->key,
                    ds___1->value);
#line 108
    return (-1);
    default: 
#line 111
    log_error_write((void *)srv, "configfile-glue.c", 111U, "ssds",
                    "unexpected type for key:", (cv + i)->key, du->type,
                    "expected a short integer, range 0 ... 65535");
#line 112
    return (-1);
    }
#line 114
    break;
    case 3: 
#line 116
    switch ((int )du->type) {
    case 4: 
#line 118
    di___1 = (data_integer *)du;
#line 120
    *((unsigned int *)(cv + i)->destination) = (unsigned int )di___1->value;
#line 121
    break;
    case 1: 
#line 124
    ds___2 = (data_string *)du;
#line 126
    tmp___4 = buffer_isdigit(ds___2->value);
#line 126
    if (tmp___4) {
#line 127
      tmp___3 = strtol((char const   */* __restrict  */)(ds___2->value)->ptr,
                       (char **/* __restrict  */)((void *)0), 10);
#line 127
      *((unsigned int *)(cv + i)->destination) = (unsigned int )tmp___3;
#line 128
      break;
    } else {

    }
#line 131
    log_error_write((void *)srv, "configfile-glue.c", 131U, "ssb",
                    "got a string but expected a integer:", (cv + i)->key,
                    ds___2->value);
#line 133
    return (-1);
    default: 
#line 136
    log_error_write((void *)srv, "configfile-glue.c", 136U, "ssds",
                    "unexpected type for key:", (cv + i)->key, du->type,
                    "expected a integer, range 0 ... 4294967295");
#line 137
    return (-1);
    }
#line 139
    break;
    case 4: 
#line 141
    if ((unsigned int )du->type == 1U) {
#line 142
      ds___3 = (data_string *)du;
#line 144
      tmp___6 = buffer_is_equal_string(ds___3->value, "enable",
                                       sizeof("enable") - 1U);
#line 144
      if (tmp___6) {
#line 145
        *((unsigned short *)(cv + i)->destination) = (unsigned short)1;
      } else {
#line 146
        tmp___5 = buffer_is_equal_string(ds___3->value, "disable",
                                         sizeof("disable") - 1U);
#line 146
        if (tmp___5) {
#line 147
          *((unsigned short *)(cv + i)->destination) = (unsigned short)0;
        } else {
#line 149
          log_error_write((void *)srv, "configfile-glue.c", 149U, "ssbs",
                          "ERROR: unexpected value for key:", (cv + i)->key,
                          ds___3->value, "(enable|disable)");
#line 151
          return (-1);
        }
      }
    } else {
#line 154
      log_error_write((void *)srv, "configfile-glue.c", 154U, "ssss",
                      "ERROR: unexpected type for key:", (cv + i)->key,
                      "(string)", "\"(enable|disable)\"");
#line 156
      return (-1);
    }
#line 158
    break;
    case 6: 
    case 0: 
#line 161
    break;
    case 8: 
#line 163
    tmp___7 = remove_path("configfile-glue.c");
#line 163
    log_trace("%s.%d: (error) found unsupported key in \'%s\' = \'%s\'",
              tmp___7, 163, (cv + i)->key, (char *)(cv + i)->destination);
#line 165
    srv->config_unsupported = (unsigned short)1;
#line 167
    break;
    case 7: 
#line 169
    tmp___8 = remove_path("configfile-glue.c");
#line 169
    log_trace("%s.%d: (error) found deprecated key in \'%s\' = \'%s\'", tmp___8,
              169, (cv + i)->key, (char *)(cv + i)->destination);
#line 171
    srv->config_deprecated = (unsigned short)1;
#line 173
    break;
    }
    __Cont: /* CIL Label */ 
#line 30
    i ++;
  }
   503: /* CIL Label */ 
#line 176
  return (0);
}
}

cilRep: liveness failure for config_insert_values_internal: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 183
i ++;
Liveness failed on function:
 int config_insert_values_global(server *srv , array *ca ,
                                 config_values_t const   *cv ) 
{ size_t i ;
  data_unset *du ;
  data_string *touched ;
  size_t tmp ;
  int tmp___0 ;

  {
   515: /* CIL Label */ 
#line 183
  i = 0U;
   516: /* CIL Label */ 
#line 183
  while ((cv + i)->key) {
#line 186
    tmp = strlen((char const   *)(cv + i)->key);
#line 186
    du = array_get_element(ca, (char const   *)(cv + i)->key, tmp);
#line 186
    if ((unsigned int )((void *)0) == (unsigned int )du) {
      goto __Cont;
    } else {

    }
#line 193
    touched = data_string_init();
#line 195
    buffer_copy_string(touched->value, "");
#line 196
    buffer_copy_string_buffer(touched->key, (buffer const   *)du->key);
#line 198
    array_insert_unique(srv->config_touched, (data_unset *)touched);
    __Cont: /* CIL Label */ 
#line 183
    i ++;
  }
   517: /* CIL Label */ 
#line 201
  tmp___0 = config_insert_values_internal(srv, ca, cv);
   518: /* CIL Label */ 
#line 201
  return (tmp___0);
}
}

cilRep: liveness failure for config_insert_values_global: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 582
tmp = __ctype_b_loc();
Liveness failed on function:
 int config_exec_pcre_keyvalue_buffer(connection *con ,
                                      pcre_keyvalue_buffer *kvb ,
                                      data_config *context , buffer *match_buf ,
                                      buffer *result ) 
{ pcre *match ;
  pcre_extra *extra ;
  char const   *pattern ;
  size_t pattern_len ;
  int n ;
  size_t i ;
  pcre_keyvalue *kv ;
  int ovec[30] ;
  char const   **list ;
  size_t start ;
  size_t end ;
  size_t k ;
  size_t num ;
  unsigned short const   **tmp ;

  {
   770: /* CIL Label */ 
#line 556
  i = 0U;
   771: /* CIL Label */ 
#line 556
  while (i < kvb->used) {
#line 557
    kv = *(kvb->kv + i);
#line 559
    match = kv->key;
#line 560
    extra = kv->key_extra;
#line 561
    pattern = (char const   *)(kv->value)->ptr;
#line 562
    pattern_len = (kv->value)->used - 1U;
#line 564
    n = pcre_exec((pcre const   *)match, (pcre_extra const   *)extra,
                  (char const   *)match_buf->ptr, (int )(match_buf->used - 1U),
                  0, 0, ovec, 30);
#line 564
    if (n < 0) {
#line 565
      if (n != -1) {
#line 566
        return (n);
      } else {

      }
    } else {
#line 574
      pcre_get_substring_list((char const   *)match_buf->ptr, ovec, n, & list);
#line 578
      buffer_reset(result);
#line 580
      start = 0U;
#line 580
      end = pattern_len;
#line 581
      k = 0U;
#line 581
      while (k < pattern_len) {
#line 582
        if ((int const   )*(pattern + k) == 36) {
          goto _L;
        } else {
#line 582
          if ((int const   )*(pattern + k) == 37) {
            _L: /* CIL Label */ 
#line 582
            tmp = __ctype_b_loc();
#line 582
            if ((int const   )*(*tmp + (int )((unsigned char )*(pattern + (k + 1U)))) & 2048) {
#line 586
              num = (size_t )((int const   )*(pattern + (k + 1U)) - 48);
#line 588
              end = k;
#line 590
              buffer_append_string_len(result, pattern + start, end - start);
#line 592
              if ((int const   )*(pattern + k) == 36) {
#line 594
                if (num < (unsigned int )n) {
#line 595
                  buffer_append_string(result, *(list + num));
                } else {

                }
              } else {
#line 598
                config_append_cond_match_buffer(con, context, result, (int )num);
              }
#line 601
              k ++;
#line 602
              start = k + 1U;
            } else {

            }
          } else {

          }
        }
#line 581
        k ++;
      }
#line 606
      buffer_append_string_len(result, pattern + start, pattern_len - start);
#line 608
      (*pcre_free)((void *)list);
#line 610
      return ((int )i);
    }
#line 556
    i ++;
  }
   772: /* CIL Label */ 
#line 614
  return (-1);
}
}

cilRep: liveness failure for config_exec_pcre_keyvalue_buffer: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/src/configparser.c: parsing
cilRep: preprocessed/src/configparser.c: parsed (0.747963 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/src/response.c: parsing
cilRep: preprocessed/src/response.c: parsed (0.74258 MB)
cilRep: computing liveness
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 2718
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 9.09667)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2718
cilRep: stmts in weighted_path = 317
cilRep: total weight = 35.3
cilRep: stmts in weighted_path with weight >= 1.0 = 4
cilRep: src/configfile-glue.c (code bank/base file; atoms [1,772])
cilRep: src/configparser.c (code bank/base file; atoms [773,1882])
cilRep: src/response.c (code bank/base file; atoms [1883,2718])
cilRep: 3 file(s) total in representation
search: ww_adaptive_1 begins (time = 1371135338.268434)
cilRep: coverage ignores: /usr/local/include
cilRep: coverage ignores: /usr/lib/gcc/i686-redhat-linux/4.4.5/include
cilRep: coverage ignores: /usr/include
cilRep: atoms in standard headers: 1249
cilRep: fix-space quotient by string: 720 -> 572
progeq: WARNING: cannot resolve call: remove_path
progeq: WARNING: cannot resolve call: log_trace
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: __xstat
progeq: WARNING: cannot resolve call: __lxstat
progeq: WARNING: cannot resolve call: __fxstat
progeq: WARNING: cannot resolve call: __fxstatat
progeq: WARNING: cannot resolve call: __xmknod
progeq: WARNING: cannot resolve call: __xmknodat
progeq: WARNING: cannot resolve call: __strtoll_internal
progeq: WARNING: cannot resolve call: __strtoull_internal
progeq: WARNING: cannot resolve call: __wcstoll_internal
progeq: WARNING: cannot resolve call: __wcstoull_internal
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __builtin_clzl
progeq: WARNING: cannot resolve call: g_atomic_pointer_get
progeq: WARNING: cannot resolve call: g_once_init_enter_impl
progeq: WARNING: cannot resolve call: g_string_insert_c
progeq: WARNING: cannot resolve call: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: memset
progeq: WARNING: cannot resolve call: io_submit
progeq: WARNING: cannot resolve call: array_get_element
progeq: WARNING: cannot resolve call: array_get_unused_element
progeq: WARNING: cannot resolve call: data_string_init
progeq: WARNING: cannot resolve call: buffer_copy_string_buffer
progeq: WARNING: cannot resolve call: array_insert_unique
progeq: WARNING: cannot resolve call: log_error_write
progeq: WARNING: cannot resolve call: buffer_copy_long
progeq: WARNING: cannot resolve call: buffer_isdigit
progeq: WARNING: cannot resolve call: buffer_is_equal_string
progeq: WARNING: cannot resolve call: buffer_copy_string
progeq: WARNING: cannot resolve call: buffer_is_empty
progeq: WARNING: cannot resolve call: buffer_append_string_len
progeq: WARNING: cannot resolve call: buffer_append_long
progeq: WARNING: cannot resolve call: buffer_copy_string_len
progeq: WARNING: cannot resolve call: inet_aton
progeq: WARNING: cannot resolve call: get_http_method_name
progeq: WARNING: cannot resolve call: buffer_is_equal
progeq: WARNING: cannot resolve call: pcre_exec
progeq: WARNING: cannot resolve call: pcre_get_substring_list
progeq: WARNING: cannot resolve call: buffer_reset
progeq: WARNING: cannot resolve call: buffer_append_string
progeq: WARNING: cannot resolve call: *pcre_free
progeq: WARNING: cannot resolve call: __assert_fail
progeq: WARNING: cannot resolve call: buffer_ptr_append
progeq: WARNING: cannot resolve call: buffer_ptr_pop
progeq: WARNING: cannot resolve call: *(du->copy)
progeq: WARNING: cannot resolve call: buffer_append_string_buffer
progeq: WARNING: cannot resolve call: *(op1->free)
progeq: WARNING: cannot resolve call: *mallocProc
progeq: WARNING: cannot resolve call: buffer_free
progeq: WARNING: cannot resolve call: *((yypminor->yy41)->free)
progeq: WARNING: cannot resolve call: array_free
progeq: WARNING: cannot resolve call: *freeProc
progeq: WARNING: cannot resolve call: __builtin_strcmp
progeq: WARNING: cannot resolve call: *(((yymsp + 0)->minor.yy41)->free)
progeq: WARNING: cannot resolve call: array_replace
progeq: WARNING: cannot resolve call: buffer_init_string
progeq: WARNING: cannot resolve call: data_integer_init
progeq: WARNING: cannot resolve call: data_array_init
progeq: WARNING: cannot resolve call: array_init
progeq: WARNING: cannot resolve call: buffer_init
progeq: WARNING: cannot resolve call: data_config_init
progeq: WARNING: cannot resolve call: buffer_init_buffer
progeq: WARNING: cannot resolve call: pcre_compile
progeq: WARNING: cannot resolve call: pcre_study
progeq: WARNING: cannot resolve call: config_parse_file
progeq: WARNING: cannot resolve call: config_parse_cmd
progeq: WARNING: cannot resolve call: chunkqueue_get_prepend_buffer
progeq: WARNING: cannot resolve call: get_http_status_name
progeq: WARNING: cannot resolve call: response_header_overwrite
progeq: WARNING: cannot resolve call: buffer_copy_off_t
progeq: WARNING: cannot resolve call: buffer_prepare_copy
progeq: WARNING: cannot resolve call: config_patch_connection
progeq: WARNING: cannot resolve call: buffer_to_lower
progeq: WARNING: cannot resolve call: plugins_call_handle_uri_raw
progeq: WARNING: cannot resolve call: buffer_urldecode_path
progeq: WARNING: cannot resolve call: buffer_path_simplify
progeq: WARNING: cannot resolve call: plugins_call_handle_uri_clean
progeq: WARNING: cannot resolve call: response_header_insert
progeq: WARNING: cannot resolve call: plugins_call_handle_docroot
progeq: WARNING: cannot resolve call: plugins_call_handle_physical
progeq: WARNING: cannot resolve call: stat_cache_get_entry_async
progeq: WARNING: cannot resolve call: http_response_redirect_to_directory
progeq: WARNING: cannot resolve call: __errno_location
progeq: WARNING: cannot resolve call: plugins_call_handle_start_backend
search: fix space reduced (time_taken = 214.649)
excluded 0 deletes (from list of 0 total edits)
search: ww_adaptive: 317 deletes
excluded 0 appends (from list of 0 total edits)
search: ww_adaptive: 27639 appends
search: ww_adaptive: 27956 possible edits
search: ready to start (time_taken = 868.874)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
rep: WARNING: test_visiting_atoms: no data available
	try using --coverage-per-test and/or --regen-paths
	defaulting to 'all tests'
search: ww_adaptive: found 50 best (time_taken = 0.76455)
search: ww_adaptive: found best (time_taken = 0.00117612)
	variant     1/27956 = ?(1,a(1539,1690)) ?(2,a(1539,1692)) ?(3,a(1539,1693)) ?(4,a(1539,1695)) ?(5,a(1539,1696)) ?(6,a(1539,1698)) ?(7,a(1539,1703)) ?(8,a(1539,1704)) ?(9,a(1539,1707)) ?(10,a(1539,1728)) ?(11,a(1539,1730)) ?(12,a(1539,1731)) ?(13,a(1539,1733)) ?(14,a(1539,1734)) ?(15,a(1539,1736)) ?(16,a(1539,1737)) ?(17,a(1539,1738)) ?(18,a(1539,1739)) ?(19,a(1539,1740)) ?(20,a(1539,1741)) ?(21,a(1539,1743)) ?(22,a(1539,1744)) ?(23,a(1539,1745)) ?(24,a(1539,1748)) ?(25,a(1539,1749)) ?(26,a(1539,1750)) ?(27,a(1539,1751)) ?(28,a(1539,1752)) ?(29,a(1539,1753)) ?(30,a(1539,1756)) ?(31,a(1539,1757)) ?(32,a(1539,1758)) ?(33,a(1539,1760)) ?(34,a(1539,1762)) ?(35,a(1539,1768)) ?(36,a(1539,1769)) ?(37,a(1539,1772)) ?(38,a(1539,1774)) ?(39,a(1539,1775)) ?(40,a(1539,1776)) ?(41,a(1539,1778)) ?(42,a(1539,1781)) ?(43,a(1539,1784)) ?(44,a(1539,1785)) ?(45,a(1539,1786)) ?(46,a(1539,1808)) ?(47,d(1291)) ?(48,d(1293)) ?(49,d(1538)) ?(50,d(1539))  (5 tests, cond 1)
		n1 false (test_time = 3.67885)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0040462)
	variant     2/27956 = ?(1,a(1539,1690)) ?(2,a(1539,1692)) ?(3,a(1539,1693)) ?(4,a(1539,1695)) ?(5,a(1539,1696)) ?(6,a(1539,1698)) ?(7,a(1539,1703)) ?(8,a(1539,1704)) ?(9,a(1539,1707)) ?(10,a(1539,1728)) ?(11,a(1539,1730)) ?(12,a(1539,1731)) ?(13,a(1539,1733)) ?(14,a(1539,1734)) ?(15,a(1539,1736)) ?(16,a(1539,1737)) ?(17,a(1539,1738)) ?(18,a(1539,1739)) ?(19,a(1539,1740)) ?(20,a(1539,1741)) ?(21,a(1539,1743)) ?(22,a(1539,1744)) ?(23,a(1539,1745)) ?(24,a(1539,1748)) ?(25,a(1539,1749)) ?(26,a(1539,1750)) ?(27,a(1539,1751)) ?(28,a(1539,1752)) ?(29,a(1539,1753)) ?(30,a(1539,1756)) ?(31,a(1539,1757)) ?(32,a(1539,1758)) ?(33,a(1539,1760)) ?(34,a(1539,1762)) ?(35,a(1539,1768)) ?(36,a(1539,1769)) ?(37,a(1539,1772)) ?(38,a(1539,1774)) ?(39,a(1539,1775)) ?(40,a(1539,1776)) ?(41,a(1539,1778)) ?(42,a(1539,1781)) ?(43,a(1539,1784)) ?(44,a(1539,1785)) ?(45,a(1539,1786)) ?(46,a(1539,1808)) ?(47,d(1291)) ?(48,d(1293)) ?(49,d(1538)) ?(50,d(1539))  (5 tests, cond 50)
		n1 true (test_time = 2.90464)
		p1 true (test_time = 0.240564)
		p2 true (test_time = 1.85899)
		p3 true (test_time = 0.760995)
		p4 true (test_time = 0.238249)
search: ww_adaptive: ends (yes repair)

Repair Found: d(1539)
Repair Name: ?(1,a(1539,1690)) ?(2,a(1539,1692)) ?(3,a(1539,1693)) ?(4,a(1539,1695)) ?(5,a(1539,1696)) ?(6,a(1539,1698)) ?(7,a(1539,1703)) ?(8,a(1539,1704)) ?(9,a(1539,1707)) ?(10,a(1539,1728)) ?(11,a(1539,1730)) ?(12,a(1539,1731)) ?(13,a(1539,1733)) ?(14,a(1539,1734)) ?(15,a(1539,1736)) ?(16,a(1539,1737)) ?(17,a(1539,1738)) ?(18,a(1539,1739)) ?(19,a(1539,1740)) ?(20,a(1539,1741)) ?(21,a(1539,1743)) ?(22,a(1539,1744)) ?(23,a(1539,1745)) ?(24,a(1539,1748)) ?(25,a(1539,1749)) ?(26,a(1539,1750)) ?(27,a(1539,1751)) ?(28,a(1539,1752)) ?(29,a(1539,1753)) ?(30,a(1539,1756)) ?(31,a(1539,1757)) ?(32,a(1539,1758)) ?(33,a(1539,1760)) ?(34,a(1539,1762)) ?(35,a(1539,1768)) ?(36,a(1539,1769)) ?(37,a(1539,1772)) ?(38,a(1539,1774)) ?(39,a(1539,1775)) ?(40,a(1539,1776)) ?(41,a(1539,1778)) ?(42,a(1539,1781)) ?(43,a(1539,1784)) ?(44,a(1539,1785)) ?(45,a(1539,1786)) ?(46,a(1539,1808)) ?(47,d(1291)) ?(48,d(1293)) ?(49,d(1538)) ?(50,d(1539)) 
Test Condition: 50
Test Cases Skipped: ""
Current Time: 1371136432.409513
Rep: saving test cache

Variant Test Case Queries: 6
"Test Suite Evaluations": 1.2

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1108.07
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.364 = 0.0338514%
  find_k_best_edits                     1   0.765 = 0.0711906%
  compile                               3   8.583 = 0.799252%
  test                                 11   8.652 = 0.805602%
  progeq partition                    572 186.717 = 17.3863%
  append_sources                      317 868.848 = 80.9033%
  TOTAL                                   1073.933 = 96.9184% (avg CPU usage)
lighttpd-bug-1794-1795.tar.gz
Thu Jun 13 11:13:53 EDT 2013
shutting down
