diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-09-03 13:39:46 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-09-03 13:39:46 +0200 |
commit | 50ac2848239cf5969b80c427a95b6098fd1e2f1c (patch) | |
tree | 1bf470c093e08e54c5223a60ee0b4daa2fc14ece /kernel/satgen.h | |
parent | 635b922afeabea8c69ac4e749881b10aeda7448b (diff) |
Fixes in $alu SAT- and eval-models
Diffstat (limited to 'kernel/satgen.h')
-rw-r--r-- | kernel/satgen.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index 3685cd6e..c7f1680d 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -934,9 +934,9 @@ struct SatGen std::vector<int> undef_x = importUndefSigSpec(cell->getPort("\\X"), timestep); std::vector<int> undef_co = importUndefSigSpec(cell->getPort("\\CO"), timestep); - extendSignalWidth(undef_a, undef_b, undef_y, cell, true); - extendSignalWidth(undef_a, undef_b, undef_x, cell, true); - extendSignalWidth(undef_a, undef_b, undef_co, cell, true); + extendSignalWidth(undef_a, undef_b, undef_y, cell); + extendSignalWidth(undef_a, undef_b, undef_x, cell); + extendSignalWidth(undef_a, undef_b, undef_co, cell); std::vector<int> all_inputs_undef; all_inputs_undef.insert(all_inputs_undef.end(), undef_a.begin(), undef_a.end()); @@ -955,7 +955,6 @@ struct SatGen undefGating(x, def_x, undef_x); undefGating(co, def_co, undef_co); } - log_ping(); return true; } |