diff --git a/atpg b/atpg index 89417e7..deee0ae 100755 Binary files a/atpg and b/atpg differ diff --git a/ls.cpp b/ls.cpp index 916f99d..1ee4749 100644 --- a/ls.cpp +++ b/ls.cpp @@ -187,23 +187,25 @@ void Circuit::ls_update_weight() { } } - for(int i=0; i<=1; i++) { - if(!fault_weight[g->id][i]) continue; - for(Gate* suc : g->suc_stems) { - int inc = std::max(1, fault_weight[g->id][i]); + // for(int i=0; i<=1; i++) { + // if(!fault_weight[g->id][i]) continue; + // for(Gate* suc : g->suc_stems) { + // int inc = 0.2 * fault_weight[g->id][i]; - if(fault_weight[suc->id][0] + inc <= FAULT_WEIGHT_MAX) { - fault_weight[suc->id][0] += inc; - if(suc->sa[0]) fault_total_weight += inc; - } + // inc = std::max(inc, 1); - if(fault_weight[suc->id][1] + inc <= FAULT_WEIGHT_MAX) { - fault_weight[suc->id][1] += inc; - if(suc->sa[1]) fault_total_weight += inc; - } + // if(fault_weight[suc->id][0] + inc <= FAULT_WEIGHT_MAX) { + // fault_weight[suc->id][0] += inc; + // if(suc->sa[0]) fault_total_weight += inc; + // } - } - } + // if(fault_weight[suc->id][1] + inc <= FAULT_WEIGHT_MAX) { + // fault_weight[suc->id][1] += inc; + // if(suc->sa[1]) fault_total_weight += inc; + // } + + // } + // } if(!g->sa[0] && fault_weight[g->id][0] > 0 && (fault_weight[g->id][0] + FAULT_INC < FAULT_WEIGHT_MAX)) { fault_weight[g->id][0] += FAULT_INC;